The Constraint Imperative Programming Language Turtle

Published on May, 2003

Information

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.

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.

Download

This article is available electronically: [ PDF ]

BibTeX Entry

@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.}
}