Islands: Aliasing protection in object-oriented languages

ACM SIGPLAN Notices

Volumn 26, Issue 11, 1991, Pages 271-285

  Hogg, John ^a  

^a NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976745647     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/118014.117975     Document Type: Article

References (14)

1. Pierre America and Frank de Boer. A sound and complete proof system for SPOOL. Technical Report 505, Philips Research Laboratories, May 1990.
2. Pierre America. Issues in the design of a parallel object-oriented language. Formal ASpects of Computing, 1(4):366-411, 1989.
3. Kent Beck and Ward Cunningham. A laboratory for teaching object-oriented thinking. In OOPSLA ‘89 Proceedings, pages 1-6, October 1989.
4. Hans-Juergen Boehm. A logic for the Russell programming language. Technical Report TR 84-593, Ph.D. thesis, Cornell University, February 1984.
5. Stephen A. Cook. Soundness and completeness of an axiom system for program verification. SIAM Journal of Computing, 7(1):70-90, February 1978.
6. Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983.
7. Richard C. Holt, Philip A. Matthews, J. Alan Rosselet, and James R. Cordy. The Turing Language: Design and Definition. Prentice-Hall, 1988.
8. John S. Hogg. Formal Semantics of Opaque Objects in the Presence of Aliasing. PhD thesis, University of Toronto, 1991. (to appear).
9. Barbara Liskov and John Guttag. Abstraction and Specification in Program Development. MIT Press, 1986.
10. John M. Lucassen and David K. Gifford. Polymorphic effect systems. In Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 47-57, January 1988.
11. Bertrand Meyer. Object-oriented Software Construction. Prentice-Hall, 1988.
12. John C. Reynolds. Syntactic control of interference. In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, January 1978.
13. Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.
14. Peter Wegner. Dimensions of object-based language design. In OOPSLA ‘87 Proceedings, October 1987.