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.
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.
This article is available electronically: [ PDF ]
@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.}
}