Martin Grabmüller: Implementing Constraint Imperative Programming Languages with Higher-order Functions, Second International Workshop on Multiparadigm Constraint Programming Languages, MultiCPL'03 im Rahmen der Ninth International Conference on Principles and Practice of Constraint Programming, CP2003, Kinsale, Irland, September 2003.
Dieses Papier wurde in einem Vortrag vorgestellt.
12 Seiten, Letter-Format, englisch.
Constraint-imperativer Programmiersprachen kombinieren deklarative Constraints und imperative Spracheigenschaften in einer integrierten Programmiersprache. Die Sprache Turtle unterstützt diese Programmierparadigmen und integriert weiterhin funktionales Programmieren mit Funktionen höherer Ordnung und algebraischen Datentypen. Dieses Papier beschreibt die Implementierung von Turtle, die aus einem Compiler, einem Laufzeitsystem mit Constraint-Lösern sowie einer umfangreichen Bibliothek von unterstützenden Modulen besteht.
Dieser Artikel ist elektronisch verfügbar: [ PDF ]
@InProceedings{Grabmueller2003TurtleImpl,
author = {Martin Grabm{\"u}ller},
title = {{Implementing Constraint Imperative Languages with
Higher-order Functions}},
booktitle = {Second International Workshop on Multiparadigm Constraint
Programming Languages, MultiCPL'03},
pages = {43--54},
year = {2003},
editor = {Michael Hanus and Petra Hofstedt and Armin Wolf},
address = {Kinsale, Cork, Ireland},
month = {September},
abstract = {Constraint imperative programming languages combine
declarative constraints and imperative language features into
an integrated programming language. The language Turtle
supports these programming paradigms and additionally
integrates functional programming with higher-order functions
and algebraic data types. This paper describes the
implementation of Turtle, consisting of a compiler, a
run-time system including constraint solvers and an
extensive library of supporting modules.}
}