10 citations found. Retrieving documents...
G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and Object Identity. In M. Tokoro and R. Pareschi, editors, Proc. Eighth European Conference on Object-Oriented Programming, 1994. To appear.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Semantics and Applications of Constrained Objects - Jayaraman, Tambay (2001)   (Correct)

....language uses constraints to simulate imperative constructs such as updating, assignment, and object identity. For the class of modeling applications that we target, it is not essential for us to consider such imperative concepts. These are important issues in an constraint imperative language [GL94, Lop97], but not for a declarative object oriented language such as Cob. In our modeling scenarios, model execution and the model revision are carried out in mutual exclusion of one another. Changes are made at the level of the modeling environment. Thus we have a clear separation of the declarative and ....

A. Borning G. Lopez, B. N. Freeman-Benson. Constraints and Object Identity. In Proc. European Conference On Object-Oriented Programming, 1994.


Confined Types - Bokowski, Vitek (1999)   (22 citations)  (Correct)

....of hashCode( must be changed 3 , this comes at a price in runtime performance that remains to be evaluated. The use of the reference equality operator is restricted as well, instead value comparison must be used. Changing code from reference semantics to value semantics has deep implications [24] and is not as efficient. 4 To obtain a better sense of the impact of anonymity declarations on programming style, we analyzed JDK 1.1 to find out how many existing methods meet the above mentioned criteria (A1, A2, A3, and A4) The data has been collected by iterating a static analysis ....

G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In ECOOP Proceedings, LNCS 821, pages 260--279. Springer-Verlag, Bologna, Italy, July 1994.


Confined Types - Bokowski, Vitek (1999)   (22 citations)  (Correct)

....of hashCode( must be changed 4 , this comes at a price in runtime performance that remains to be evaluated. The use of the reference equality operator is restricted as well, instead value comparison must be used. Changing code from reference semantics to value semantics has deep implications [24] and is not as ecient. 5 To obtain a better sense of the impact of anonymity declarations on programming style, we analyzed JDK 1.1 to nd out how many existing methods meet the above mentioned criteria (A1, A2, A3, and A4) The data has been collected by iterating a static analysis detecting ....

G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In ECOOP Proceedings, LNCS 821, pages 260-279. Springer-Verlag, Bologna, Italy, July 1994.


Confined Types - Bokowski, Vitek (1999)   (22 citations)  (Correct)

....of hashCode( must be changed 4 , this comes at a price in runtime performance that remains to be evaluated. The use of the reference equality operator is restricted as well, instead value comparison must be used. Changing code from reference semantics to value semantics has deep implications [24] and is not as ecient. 5 To obtain a better sense of the impact of anonymity declarations on programming style, we analyzed JDK 1.1 to nd out how many existing methods meet the above mentioned criteria (A1, A2, A3, and A4) The data has been collected by iterating a static analysis detecting ....

G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In ECOOP Proceedings, LNCS 821, pages 260-279. Springer-Verlag, Bologna, Italy, July 1994.


Identifying Objects by Declarative Queries - Gogolla (1999)   (Correct)

....approaches: A proposal to object identity from the functional programming perspective by the use of categorical monad structures is given in [Oho90] KDSW92] treats object identity from the data type point of view by providing a special identifier data type for this purpose. The approach in [LFBB94] is motivated from the declarative programming language implementation point of view. Our approach differs from the cited ones because we establish a connection between abstract object identities and concrete data values in order to identify objects. Our proposal to object identification can be ....

G. Lopez, B.N. Freeman-Benson, and A. Borning. Constraints and Object Identity. In M. Tokoro and R. Pareschi, editors, Proc. 8th European Conf. Object-Oriented Programming (ECOOP'94), pages 260--279. Springer, Berlin, LNCS 821, 1994.


Confined Types - Bokowski, Vitek (1999)   (22 citations)  (Correct)

....hashCode( must be changed 4 , this comes at a price in runtime performance that remains to be evaluated. The use of the reference equality operator is restricted as well, instead value comparison must be used. But changing code from reference semantics to value semantics has deep implications [24] and is not as efficient. 5 To obtain a better sense of the impact of anonymity declarations on programming style, we analyzed JDK 1.1 to find out how many existing methods meet the above mentioned criteria (A1, A2, and A3) The data has been collected by iterating a static analysis detecting ....

G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In ECOOP Proceedings, LNCS 821, pages 260--279. SpringerVerlag, Bologna, Italy, July 1994.


Persistent Programming Languages: The Best of Both Worlds - Jakobovits (1993)   (Correct)

....how complex the type. extendibility with new ADTs: as compared to traditional dbms s, which allow only basic types. efficient associative searching (via B trees, etc. highly interactive for graphical applications. D Constraint Based Imperative Languages D. 1 Constraints and Object Identity From [14]: constraint imperative programming = integrate declarative constraints and imperative oo programming. goal: use constraints to express relations among objects explicitly instead of implicitly. but object identity can result in implicit relations. solution: identity constraints. CIP Identity Gap ....

G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and object identity. In European Conference on Object-Oriented Programming, 1994. Submitted.


Theoretical Properties and Efficient Satisfaction of Hierarchical .. - Hosobe (1997)   (Correct)

.... (GUIs) utilize constraints to manage internal data and visual objects [68] This approach can be back to the Sketchpad system [79] but the current stream seems to have its source at an object oriented system called ThingLab [3, 6] Another research area is, for example, imperative programming [20, 21, 35, 54, 55, 56, 57] and databases. CHAPTER 7. RELATED WORK 98 Usually, distinct areas take different approaches to constraints. Also, they employ different algorithms for constraint satisfaction. In the rest of this chapter, we mainly review researches related to GUIs. 7.2 Ordinary Constraint Systems In this ....

Lopez, G., B. Freeman-Benson, and A. Borning, "Constraints and Object Identity," in Proceedings of the European Conference on ObjectOriented Programming (ECOOP), no. 821 in Lecture Notes in Computer Science, pp. 260--279, Springer-Verlag, July 1994.


Implementing Constraint Imperative Programming.. - Lopez.. (1994)   (9 citations)  Self-citation (Lopez Freeman-benson Borning)   (Correct)

....to the appropriate sub solver. Similar to value constraints, identity constraints are solved by local propagation, however the satisfaction of these identity constraints determines variable references instead of object values. Identity constraints and the VICS Vapo Ware solver are discussed in [Lopez et al. 94] 5. Related Work The special implementation needs of constraint imperative programming (class based objects with inheritance, multi methods, constraint solving, and dynamically bound constraints) led us to design a special purpose virtual machine to implement Kaleidoscope. An alternative would ....

Gus Lopez, Bjorn Freeman-Benson, and Alan Borning. Constraints and object identity. In Proceedings of the 1994 European Conference on Object-Oriented Programming, pages 260-279, Bologna, Italy, July 1994.


Towards Deductive Object Databases - Bertino, Guerrini (1994)   (1 citation)  (Correct)

No context found.

G. Lopez, B. Freeman-Benson, and A. Borning. Constraints and Object Identity. In M. Tokoro and R. Pareschi, editors, Proc. Eighth European Conference on Object-Oriented Programming, 1994. To appear.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC