Constraints, Predicates, Functions and a Turtle

Talk held on May 1, 2003

Information

Stephan Frank, Martin Grabmüller, Petra Hofstedt und André Metzner: Constraints, Predicates, Functions and a Turtle, 20. Workshop der GI-Fachgruppe 2.1.4 Programmiersprachen und Rechenkonzepte, Bad Honnef, Mai 2003.

Abstract

This paper briefly introduces the current work on multiparadigm programming languages at Berlin University of Technology. Starting from a general approach for the cooperation and coordination of constraint solvers and its implementation Meta-S, we briefly discuss how to integrate different host languages into the framework building at this multiparadigm constraint languages. Further current research directions concern the functional logic language Brooks which allows the program compilation according to different narrowing strategies and the constraint imperative language Turtle.

Download

This article is available electronically: [ PDF ]

BibTeX Entry

@InProceedings{Frank2003CPFT,
  author = 	 {Stephan Frank and Martin Grabm{\"u}ller and Petra Hofstedt 
                  and Andr{\'e} Metzner},
  title = 	 {{Constraints, Predicates, Functions and a 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 = {This paper briefly introduces the current work on multiparadigm 
              programming languages at Berlin University of Technology.
              Starting from a general approach for the cooperation and
              coordination of constraint solvers and its implementation
              Meta-S, we briefly discuss how to integrate different host
              languages into the framework building at this multiparadigm
              constraint languages.  Further current research directions 
              concern the functional logic language Brooks which allows
              the program compilation according to different narrowing
              strategies and the constraint imperative language Turtle.}

}