Martin Grabmüller: The Constraint Imperative Programming Language Turtle, 20. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte, Bad Honnef, Germany, May 2003.
The goal of declarative programming is to provide languages and implementations which let the programmer write programs by specifying what the properties of the desired solutions should be. In imperative languages, the calculation steps leading to the solutions must be programmed explicitly. The programming language Turtle combines traditional imperative language constructs and declarative constraints. This blending of paradigms is called ``constraint imperative programming'' in literature, and Turtle is one instance of this multiparadigm approach.
This article is available electronically: [ PDF ]
@InProceedings{Grabmueller2003CIPLTurtle,
author = {Martin Grabm{\"u}ller},
title = {{The Constraint Imperative Programming Language Turtle}},
booktitle = {20. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen
und Rechenkonzepte},
year = {2003},
editor = {Wolfgang Goerigk},
address = {Bad Honnef, Germany},
month = {May},
abstract = {The goal of declarative programming is to provide languages and
implementations which let the programmer write programs by
specifying what the properties of the desired solutions should
be. In imperative languages, the calculation steps leading to
the solutions must be programmed explicitly. The programming
language Turtle combines traditional imperative language
constructs and declarative constraints. This blending of
paradigms is called ``constraint imperative programming'' in
literature, and Turtle is one instance of this multiparadigm
approach.}
}