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.


["Object-Oriented Concurrent Constraint Programming in Oz", G. Smolka et al].

Try this search on Wikipedia, OneLook, Google

Nearby terms:

OWL « Owl « Ox « Oz » oz » Oz-Email » P+