Objects for Concurrent Constraint Programming

Concurrent Constraint Programming (CCP) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization. Analyzing the possibility of supporting object-oriented programming in CCP this text covers various object models and discusses their properties. Small Oz, a sublanguage of the CCP language Oz, is used as a model language for this analysis. It presents a general-purpose object system for Small Oz and describes its implementation and expressivity for concurrent computation.