论文信息 - Encapsulation and Aggregation

Encapsulation and Aggregation

A notion of object ownership is introduced as a solution to difficult problems of specifying and reasoning about complex linked structures and of modeling aggregates (composit objects). Syntax and semantics are provided for extending Eiffel with language support for object ownership annotation and checking. The ideas also apply to other OOPLs such as C++.

Stuart Kent | Ian Maung

[1] Kim Walden,et al. Seamless object-oriented software architecture , 1995 .

[2] Stuart Kent,et al. Quantified Assertions in Eiffel , 1995 .

[3] John Daniels,et al. Designing Object Systems , 1994 .

[4] R. Jakobson. On Language , 1990 .

[5] John Hogg. Islands: aliasing protection in object-oriented languages , 1991, OOPSLA 1991.

[6] Rebecca Wirfs-Brock,et al. Designing object-oriented software , 1990 .

[7] M. Utting. Reasoning about Aliasing , 1996 .

[8] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[9] Cliff B. Jones,et al. An Object-Based Design Method for Concurrent Programs , 1992 .

[10] John Hogg,et al. Islands: aliasing protection in object-oriented languages , 1991, OOPSLA '91.

[11] Franco Civello,et al. Roles for composite objects in object-oriented analysis and design , 1993, OOPSLA '93.

[12] Jin Song Dong,et al. The Geometry of Object Containment , 1994 .

[13] Richard C. Holt,et al. The Geneva convention on the treatment of object aliasing , 1992, OOPS.

[14] Bertrand Meyer,et al. Eiffel: The Language , 1991 .