An object-oriented concurrent constraint language from
the University of Saarbrucken. Oz is based on constraint
communication, a new form of asynchronous communication
using logic variables. Partial information about the values
of variables is imposed concurrently and incrementally.
Supports higher order programming and object-orientation
including multiple inheritance.
ftp:duck.dfki.uni-sb.de/pub/papers.
["Object-Oriented Concurrent Constraint Programming in Oz",
G. Smolka et al].
Nearby terms:
OWL « Owl « Ox « Oz » oz » Oz-Email » P+
