Supporting Constraints in BETA - Abstract
Jørgen Lindskov Knudsen, Jens Middelfart
Computer Science Department, Aarhus University
Ny Munkegade 116, DK-8000 Århus C, Denmark
E-mail: {jlknudsen,donjens}@cs.au.dk
Phone: (+45) 89 42 31 88 -- Fax: (+45) 89 42 32 55
Abstract
Constraint programming is a powerful declarative programming paradigm.
This paper investigates the introduction of constraint programming in
object-oriented programming and presents our work on supporting
hierarchical constraint programming within the BETA programming language.
We present the Gleipner constraint framework, and discuss the possible
applications of this framework within object-oriented programming.
The constraint solving technique underlying the Gleipner framework is
the SkyBlue constraint solver.
Click here to retrieve the whole document in
HTML (69Kb).