Add to ORKGDeclarative programming languages base on the idea that programs should be as close as possible to the problem specification and domain. Programs of these languages usually consist of directly formulated mathematical objects, i.e. relations and functions. Accordingly, declarative languages are distinguished into logic, functional, functional-logic, and constraint programming languages
Since the initial efforts in reconciling the styles of functional programming and logic programming,...
Abstract: Constraints support an efficient modeling and solution of problems in two ways: The most c...
We define a framework for writing executable declarative specifications which incorporate categorica...
. 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...
Constraints support a programming style featuring declarative description and effective solving of s...
Declarative programming languages, are high-level programming languages in which one only has to sta...
Abstract This paper presents a proposal for the cooperation of solvers in constraint functional logi...
Program analysis and specialisation for declarative languages have been subjects of active research ...
Constraint programming offers modeling features and solution methods that are unavailable in mathema...
AbstractThis paper presents a proposal for the cooperation of solvers in constraint functional logic...
Abstract. This tutorial provides an overview and introduction to declarative programming exploiting ...
There has been a lot of interest lately from people solving constrained optimization problems for co...
We discuss some approaches to declarative programming including functional programming, various logi...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
Since the initial efforts in reconciling the styles of functional programming and logic programming,...
Abstract: Constraints support an efficient modeling and solution of problems in two ways: The most c...
We define a framework for writing executable declarative specifications which incorporate categorica...
. 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...
Constraints support a programming style featuring declarative description and effective solving of s...
Declarative programming languages, are high-level programming languages in which one only has to sta...
Abstract This paper presents a proposal for the cooperation of solvers in constraint functional logi...
Program analysis and specialisation for declarative languages have been subjects of active research ...
Constraint programming offers modeling features and solution methods that are unavailable in mathema...
AbstractThis paper presents a proposal for the cooperation of solvers in constraint functional logic...
Abstract. This tutorial provides an overview and introduction to declarative programming exploiting ...
There has been a lot of interest lately from people solving constrained optimization problems for co...
We discuss some approaches to declarative programming including functional programming, various logi...
This chapter addresses the integration of constraints and search into programming lan-guages from th...
Since the initial efforts in reconciling the styles of functional programming and logic programming,...
Abstract: Constraints support an efficient modeling and solution of problems in two ways: The most c...
We define a framework for writing executable declarative specifications which incorporate categorica...