Date: Tue, 10 Dec 1996 03:26:39 GMT Server: NCSA/1.4.2 Content-type: text/html Constraints and Object Identity

Constraints and Object Identity

Authors: Gus Lopez, Bjorn Freeman-Benson, and Alan Borning

Published in Proceedings of the 1994 European Conference on Object-Oriented Programming, Bologna, Italy, July 1994, pages 260-279.


Abstract

Constraint imperative programming is an integration of declarative constraints and imperative object-oriented programming. The primary goal of this integration is to use constraints to express relations among objects explicitly -- relations that were implicit in the code in previous languages. However, one of the fundamental concepts of object-oriented programming, object identity, can result in implicit relations, even when explicit identity constraints are supported. We analyze the problem and propose a solution -- identity constraints -- which we have implemented in our Kaleidoscope'93 language. This solution is understandable, efficiently implementable, and compatible with the Kaleidoscope constraint model.


Click here to get the postscript file.

Return to Constraints home page