Implementing Constraint Imperative Programming Languages with Higher-order Functions

Published on September, 2003

Information

Martin Grabmüller: Implementing Constraint Imperative Programming Languages with Higher-order Functions, Second International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL’03 in conjunction with the Ninth International Conference on Principles and Practice of Constraint Programming, CP2003, Kinsale, Ireland, September 2003.

This paper was presented in a talk.

12 pages, letter format, English.

Abstract

Constraint 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.

Download

This article is available electronically: [ PDF ]

BibTeX Entry

@InProceedings{Grabmueller2003TurtleImpl,
  author = 	 {Martin Grabm{\"u}ller},
  title = 	 {{Implementing Constraint Imperative Languages with 
                   Higher-order Functions}},
  booktitle =	 {Second International Workshop on Multiparadigm Constraint
                  Programming Languages, MultiCPL'03},
  pages =	 {43--54},
  year =	 {2003},
  editor =	 {Michael Hanus and Petra Hofstedt and Armin Wolf},
  address =	 {Kinsale, Cork, Ireland},
  month =	 {September},
  abstract = {Constraint 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.}
}