See this document in CiteSeerX!

The Constraint Imperative Programming Language Turtle (2003)  (Make Corrections)  
Martin Grabmüller
20. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte



  Home/Search   Context   Related

 
View or download:
uebb.cs.tuberlin.de...GI2003paper.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  uebb.cs.tuberlin.de/~...talks.en (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
Describes the constraint imperative programming language Turtle.

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 ... (Update)

Active bibliography (related documents):   More   All
0.6:   Implementing Constraint Imperative Languages with Higher-Order.. - Grabmüller (2003)   (Correct)
0.6:   Turtle: A Constraint Imperative Programming Language - Grabmüller, Hofstedt (2003)   (Correct)
0.5:   Constraint Imperative Programming with Higher-Order Functions - Grabmüller (2003)   (Correct)

Similar documents based on text:   More   All
1.4:   The Constraint Imperative Programming Language Turtle - Grabmüller (2003)   (Correct)
0.3:   Constraints, Predicates, Functions and a Turtle - Frank, Grabmüller, Hofstedt.. (2003)   (Correct)
0.2:   Development of Communication Protocols by Composing and Refining.. - Jmaiel (1994)   (Correct)

BibTeX entry:   (Update)

@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.},
  url = {citeseer.ist.psu.edu/639150.html} }
Citations (may not include all citations):
18   Programming with Constraints (context) - Marriot, Stuckey - 1998
11   Kaleidoscope: A constraint imperative programming language - Lopez, Freeman-Benson et al. - 1994
6   Constraint Imperative Programming (context) - Grabmuller - 2003
6   Constraint Imperative Programming (context) - Freeman-Benson - 1991  ACM
5   or how first order logic can help us in imperative programmi.. (context) - Apt, Schaerf - 1999

Documents on the same site (http://uebb.cs.tu-berlin.de/~magr/pub/../talks/talks.en.html):
The Constraint Imperative Programming Language Turtle - Grabmüller (2003)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC