Add to ORKGConstraint imperative programming languages combine declarative constraints and imperative language features into an integrated programming language. The language Turtle supports these programming paradigms and additionally integrates functional programming with higher-order functions and algebraic data types. This paper describes the implementation of Turtle, consisting of a compiler, a run-time system including constraint solvers and an extensive library of supporting modules
The constraint paradigm is a model of computation in which values are deduced whenever possible, und...
We study the problem of automatically exploiting parallelism in computer programs, with particular ...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...
We investigate here how to integrate constraints directly into the imperative programming paradigm, ...
Program analysis and specialisation for declarative languages have been subjects of active research ...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
There has been a lot of interest lately from people solving constrained optimization problems for co...
Declarative programming languages base on the idea that programs should be as close as possible to t...
The constraint paradigm is a model of computation in which values are deduced whenever possible, u...
We discuss the problem of the representation of constraints in an object-oriented programming langua...
. We present a declarative language -- CFLP (R) -- which enhances functional logic programming with ...
Imperative programming languages were initially built for uniprocessor systems that evolved out of t...
Constraint Handling Rules [1,2] is a high-level programming language extension based on multi-headed...
Constraints support a programming style featuring declarative description and effective solving of s...
Constraint Programming represents one of the closest approaches computer science has yet made to the...
The constraint paradigm is a model of computation in which values are deduced whenever possible, und...
We study the problem of automatically exploiting parallelism in computer programs, with particular ...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...
We investigate here how to integrate constraints directly into the imperative programming paradigm, ...
Program analysis and specialisation for declarative languages have been subjects of active research ...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
There has been a lot of interest lately from people solving constrained optimization problems for co...
Declarative programming languages base on the idea that programs should be as close as possible to t...
The constraint paradigm is a model of computation in which values are deduced whenever possible, u...
We discuss the problem of the representation of constraints in an object-oriented programming langua...
. We present a declarative language -- CFLP (R) -- which enhances functional logic programming with ...
Imperative programming languages were initially built for uniprocessor systems that evolved out of t...
Constraint Handling Rules [1,2] is a high-level programming language extension based on multi-headed...
Constraints support a programming style featuring declarative description and effective solving of s...
Constraint Programming represents one of the closest approaches computer science has yet made to the...
The constraint paradigm is a model of computation in which values are deduced whenever possible, und...
We study the problem of automatically exploiting parallelism in computer programs, with particular ...
In this paper, we present an imperative language enhanced with higher-order functions, function curr...