Oz

University of Saarbrucken

An object-oriented concurrent constraint language. It 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. It supports higher order programming and object-orientation, including multiple inheritance.

"Object-Oriented Concurrent Constraint Programming in Oz", Gert Smolka et al.

Mozart