VDict mobile



the University of Saarbrucken. Oz is based on constraintcommunication, 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
.
["Object-Oriented Concurrent Constraint Programming in Oz",
G. Smolka et al].