Turtle: A Constraint Imperative Programming Language

Published on December, 2003

Information

Martin Grabmüller, Petra Hofstedt: Turtle: A Constraint Imperative Programming Language, Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, number XX in Research and Development in Intelligent Systems, British Computer Society and Springer-Verlag, December 2003.

This paper was presented in a talk.

14 pages, letter format, English.

Abstract

Ideally, in constraint programs, the solutions of problems are obtained by specifying their desired properties, whereas in imperative programs, the steps which lead to a solution must be defined explicitly, rather than being derived automatically. This paper describes the design and implementation of the programming language Turtle, which integrates declarative constraints and imperative language elements in order to combine their advantages and to form a more flexible programming paradigm suitable for solving a wide range of problems.

Download

This article is available electronically: [ PDF ]

BibTeX Entry

@InProceedings{GrabmuellerHofstedt2003Turtle,
  author = 	 {Martin Grabm{\"u}ller and Petra Hofstedt},
  title = 	 {{Turtle: A Constraint Imperative Programming Language}},
  editor = 	 {Frans Coenen and Alun Preece and Ann Macintosh},
  booktitle =	 {Twenty-third SGAI International Conference on Innovative
                  Techniques and Applications of Artificial Intelligence},
  year =	 {2003},
  number =	 {XX},
  series =	 {Research and Development in Intelligent Systems},
  address =	 {Cambridge, UK},
  month =	 {December},
  organization = {British Computer Society},
  publisher =	 {Springer-Verlag},
  isbn = 	 {1-85233-780-X},
  abstract = {Ideally, in constraint programs, the solutions of problems 
              are obtained by specifying their desired properties, whereas 
              in imperative programs, the steps which lead to a solution 
              must be defined explicitly, rather than being derived
              automatically.  This paper describes the design and
              implementation of the programming language Turtle, which
              integrates declarative constraints and imperative language
              elements in order to combine their advantages and to form a
              more flexible programming paradigm suitable for solving a
              wide range of problems.}
}