Publication details

Adding Constraint Systems to DFKI Oz

Tobias Müller

WOz'95, International Workshop on Oz Programming, 1995

We present an experimental C interface to Oz, which enables programmers to add metaterms to the DFKI Oz system in a modular way. Low-level issues, as garbage collection and waking up suspended computation, are transparent. Metaterms are fully compatible with the other components of the system, as for example the Oz Browser. Metaterms are a well-suited means to implement instances of the clpx(X) framework. To demonstrate the use of the interface we implement a solver for clp(Real Intervals).

Download PDF Show BibTeX

@INPROCEEDINGS{NewConstraintSystems,
  title = {Adding Constraint Systems to DFKI Oz},
  author = {Tobias M{\"u}ller},
  year = {1995},
  month = {"29 November--1 December"},
  booktitle = {WOz'95, International Workshop on Oz Programming},
  address = {{Institut Dalle Molle d'Intelligence Artificielle                   Perceptive, Martigny, Switzerland}},
}

Webmaster, Wed Sep 16 10:47:00 2009