In Artificial Intelligence, especially in area of constraint programming, it's popular to design various modeling languages which allow solving problems on domain level and by using domain specific abstractions. Techniques known from research on Domain-Specific Languages are often useful in this effort. Functional programming languages offer new tools for designing such languages, particularly Domain-Specific Embedded Languages. This work investigates the advantages and disadvantages of using functional programming for designing and implementing a Domain-Specific Embedded Language for state space search problems
Abstract. We present a constraint functional logic programming ap-proach over finite domain (CFLP(FD...
This paper formalises an analysis of finite domain programs and the resultant program transformation...
Abstract: Domain-specific languages are designed and used to assist software devel-opment in various...
In Artificial Intelligence, especially in area of constraint programming, it's popular to design var...
The theory and practice of search algorithms related to state-space represented problems form the ma...
Abstract. Domain-specific languages become effective only in the presence of convenient lightweight ...
The field of Constraint Programming (CP) provides problem-independent technology for solving combina...
In this paper, we propose a method for eliciting constraints for arbitrary Domain-Specific Languages...
We describe an experiment in the use of domain-specific embedded languages for program generation. S...
We introduce a handful of software design patterns for functional logic languages. Following usual ...
Existing libraries and languages for finite domain constraint programming have backtracking-based de...
Abstract. This paper highlights the power of T OY(FD), a functional logic language with support for ...
This paper highlights the power of T OY(FD), a functional logic language with support for fi-nite do...
The main idea behind this book is to encourage readers to approach mathematical domains from a funct...
We present the approach underlying a course on Domain-Specific Languages of Mathematics, currently b...
Abstract. We present a constraint functional logic programming ap-proach over finite domain (CFLP(FD...
This paper formalises an analysis of finite domain programs and the resultant program transformation...
Abstract: Domain-specific languages are designed and used to assist software devel-opment in various...
In Artificial Intelligence, especially in area of constraint programming, it's popular to design var...
The theory and practice of search algorithms related to state-space represented problems form the ma...
Abstract. Domain-specific languages become effective only in the presence of convenient lightweight ...
The field of Constraint Programming (CP) provides problem-independent technology for solving combina...
In this paper, we propose a method for eliciting constraints for arbitrary Domain-Specific Languages...
We describe an experiment in the use of domain-specific embedded languages for program generation. S...
We introduce a handful of software design patterns for functional logic languages. Following usual ...
Existing libraries and languages for finite domain constraint programming have backtracking-based de...
Abstract. This paper highlights the power of T OY(FD), a functional logic language with support for ...
This paper highlights the power of T OY(FD), a functional logic language with support for fi-nite do...
The main idea behind this book is to encourage readers to approach mathematical domains from a funct...
We present the approach underlying a course on Domain-Specific Languages of Mathematics, currently b...
Abstract. We present a constraint functional logic programming ap-proach over finite domain (CFLP(FD...
This paper formalises an analysis of finite domain programs and the resultant program transformation...
Abstract: Domain-specific languages are designed and used to assist software devel-opment in various...