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}
Phone: (+45) 89 42 31 88 -- Fax: (+45) 89 42 32 55


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