Programming constraint services


This thesis presents design, application, implementation, and evaluation of computation spaces as abstractions for programming constraint services at a high level. Spaces are seamlessly integrated into a concurrent programming language and make constraintbased computations compatible with concurrency through encapsulation. Spaces are applied to search and combinators as essential constraint services. Stateof-the-art and new search engines such as visual interactive search and parallel search are covered. Search is expressive and concurrency-compatible by using copying rather than trailing. Search is space and time efficient by using recomputation. Composable combinators, also known as deep-guard combinators, stress the control facilities and concurrency integration of spaces. The implementation of spaces comes as an orthogonal extension to the implementation of the underlying programming language. The resulting implementation is shown to be competitive with existing constraint programming systems.

Extracted Key Phrases

69 Figures and Tables


Citations per Year

116 Citations

Semantic Scholar estimates that this publication has 116 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Schulte2000ProgrammingCS, title={Programming constraint services}, author={Christian Schulte}, year={2000} }