Add to ORKGWe argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an extended case study for a class of optimization problems, deriving efficient functional programs from concise relational specifications
. This paper proposes a logic-based approach to optimization that combines solution methods from ma...
Our goal is to develop a new and highly flexible approach to program optimization. Instead of apply...
The functional programming style describes computations concisely. The applicative nature of functio...
We argue for the benefits of relations over functions for modelling programs, and even more so for m...
Automatic optimizers for computer programs work with a fixed list of rote transformations, while hu...
AbstractAdvanced database applications demand new data modeling constructs beyond those available in...
20 pagesInternational audienceWe describe algebraic certificates of positivity for functions belongi...
Functional programs are merely equations; they may be manipulated by straightforward equational reas...
this paper is to suggest, by analysis and by example, how we are now in a much improved position to ...
This paper considers a programming language where all control is encoded in algebras and combinators...
Abstract. Relational algebra has been shown to be a powerful tool for solving a wide range of combin...
The access to advanced optimization software needs more and more sophisticated modeling tools. Optim...
AbstractThe efficiency and effectiveness of most optimization algorithms hinges on the numerical lin...
In this article, we present a new open-source tool for algebraic modeling and mathematical optimizat...
In this article, we present a new open-source tool for algebraic modeling and mathematical optimizat...
. This paper proposes a logic-based approach to optimization that combines solution methods from ma...
Our goal is to develop a new and highly flexible approach to program optimization. Instead of apply...
The functional programming style describes computations concisely. The applicative nature of functio...
We argue for the benefits of relations over functions for modelling programs, and even more so for m...
Automatic optimizers for computer programs work with a fixed list of rote transformations, while hu...
AbstractAdvanced database applications demand new data modeling constructs beyond those available in...
20 pagesInternational audienceWe describe algebraic certificates of positivity for functions belongi...
Functional programs are merely equations; they may be manipulated by straightforward equational reas...
this paper is to suggest, by analysis and by example, how we are now in a much improved position to ...
This paper considers a programming language where all control is encoded in algebras and combinators...
Abstract. Relational algebra has been shown to be a powerful tool for solving a wide range of combin...
The access to advanced optimization software needs more and more sophisticated modeling tools. Optim...
AbstractThe efficiency and effectiveness of most optimization algorithms hinges on the numerical lin...
In this article, we present a new open-source tool for algebraic modeling and mathematical optimizat...
In this article, we present a new open-source tool for algebraic modeling and mathematical optimizat...
. This paper proposes a logic-based approach to optimization that combines solution methods from ma...
Our goal is to develop a new and highly flexible approach to program optimization. Instead of apply...
The functional programming style describes computations concisely. The applicative nature of functio...