Objects as closures: abstract semantics of object-oriented languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Objects as closures: abstract semantics of object-oriented languages

Full text

Pdf (952 KB)

Source

Conference on LISP and Functional Programming archive
Proceedings of the 1988 ACM conference on LISP and functional programming table of contents

Snowbird, Utah, United States

Pages: 289 - 297

Year of Publication: 1988

ISBN:0-89791-273-X

Author

Uday Reddy

Department of Computer Science, University of Illinois at Urbana-Champaign

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 40, Citation Count: 33

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/62678.62721 What is a DOI?

ABSTRACT

We discuss denotational semantics of object-oriented languages, using the concept of closure widely used in (semi) functional programming to encapsulate side effects. It is shown that this denotational framework is adequate to explain classes, instantiation, and inheritance in the style of Simula as well as SMALLTALK-80. This framework is then compared with that of Kamin, in his recent denotational definition of SMALLTALK-80, and the implications of the differences between the two approaches are discussed.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Harold Abelson , Gerald Jay Sussman , Julie Sussman, Structure and interpretation of computer programs, MIT Press, Cambridge, MA, 1985
	2	R. Burstall , B. Lampson, A kernel language for abstract data types and modules., Proc. of the international symposium on Semantics of data types, p.1-50, July 1984, Sophia-Antipolis, France
	3	Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
	4	Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
	5	Luca Cardelli , Peter Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys (CSUR), v.17 n.4, p.471-523, Dec. 1985 [doi>10.1145/6041.6042]
	6	William R. Cook, A Denotational Semantics of Inheritance, Brown University, Providence, RI, 1989
	7	Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966 [doi>10.1145/365813.365819]
	8	B Liskov , E Moss , A Snyder , R Atkinson , J C. Schaffert , T Bloom , R Scheifler, CLU reference manual, Springer-Verlag New York, Inc., New York, NY, 1984
	9	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	10	S. Kamin, Inheritance in smalltalk-80: a denotational definition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.80-87, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73567]
	11	R. M. Keller and G. Lindstrom. Approaching distributed database implementations through functional programming concepts. In Intl. Conf. on Distributed Computing Systems, IEEE, Denver, CO., May 1985.
	12	David B. MacQueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.277-286, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512670]
	13	D. B. MacQueen , Ravi Sethi, A semantic model of types for applicative languages, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.243-252, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802156]
	14	R. Milner. A theory of type polymorphism in programming. J. Compuie~' and System Sciences, 17:348-375, 1978.
	15	John C. Mitchell , Gordon D. Plotkin, Abstract types have existential types, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.37-51, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318606]
	16	M. Shaw. ALPHARD: Form and Content. Sprlnger-Verlag, 1981.
	17	Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977
	18	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986

CITED BY 33

	Gilad Bracha , William Cook, Mixin-based inheritance, ACM SIGPLAN Notices, v.25 n.10, p.303-311, Oct. 1990
	W. Cook , J. Palsberg, A denotational semantics of inheritance and its correctness, ACM SIGPLAN Notices, v.24 n.10, p.433-443, Oct. 1989
	A. Bossi , M. Bugliesi , M. Gabbrielli , G. Levi , M. C. Meo, Differential logic programming, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.359-370, March 1993, Charleston, South Carolina, United States
	Isabelle Attali , Denis Caromel , Sidi Ould Ehmety, A natural semantics for Eiffel dynamic binding, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.6, p.711-729, Nov. 1996
	Idit Keidar , Roger Khazan , Roger I. Khazan , Nancy Lynch , Alex Shvartsman, An inheritance-based technique for building simulation proofs incrementally, Proceedings of the 22nd international conference on Software engineering, p.478-487, June 04-11, 2000, Limerick, Ireland
	William R. Cook , Walter Hill , Peter S. Canning, Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.125-135, December 1989, San Francisco, California, United States
	Neal Glew, An efficient class and object encoding, ACM SIGPLAN Notices, v.35 n.10, p.311-324, Oct. 2000
	John C. Mitchell, Toward a typed foundation for method specialization and inheritance, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.109-124, December 1989, San Francisco, California, United States
	Jens Palsberg , Michael I. Schwartzbach, Type substitution for object-oriented programming, ACM SIGPLAN Notices, v.25 n.10, p.151-160, Oct. 1990
	Antero Taivalsaari, On the notion of inheritance, ACM Computing Surveys (CSUR), v.28 n.3, p.438-479, Sept. 1996
	Benjamin C. Pierce , David N. Turner, Object-oriented programming without recursive types, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.299-312, March 1993, Charleston, South Carolina, United States
	Harold Ossher , William Harrison, Combination of inheritance hierarchies, ACM SIGPLAN Notices, v.27 n.10, p.25-40, Oct. 1992
	P. S. Canning , W. R. Cook , W. L. Hill , W. G. Olthoff, Interfaces for strongly-typed object-oriented programming, ACM SIGPLAN Notices, v.24 n.10, p.457-467, Oct. 1989
	Idit Keidar , Roger I. Khazan , Nancy Lynch , Alex Shvartsman, An inheritance-based technique for building simulation proofs incrementally, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.1, p.63-91, January 2002
	Frank Armour , Todd Cotton , Geoff Hambrick , Barbara Moo , Dennis Mancl, Tailoring OO analysis and design methods (panel), ACM SIGPLAN Notices, v.30 n.10, p.185-186, Oct. 17, 1995
	Matthew Flatt , Shriram Krishnamurthi , Matthias Felleisen, Classes and mixins, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.171-183, January 19-21, 1998, San Diego, California, United States
	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type inference, ACM SIGPLAN Notices, v.26 n.11, p.146-161, Nov. 1991
	Giorgio Ghelli, A static type system for message passing, ACM SIGPLAN Notices, v.26 n.11, p.129-145, Nov. 1991
	Amir Kishon , Paul Hudak , Charles Consel, Monitoring semantics: a formal framework for specifying, implementing, and reasoning about execution monitors, ACM SIGPLAN Notices, v.26 n.6, p.338-352, June 1991
	Ryan Stansifer , Dan Wetklow, Method reuse in typed object-oriented languages, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.63-70, February 14-16, 1993, Indianapolis, Indiana, United States
	Viviana Bono , Michele Bugliesi , Silvia Crafa, Typed interpretations of extensible objects, ACM Transactions on Computational Logic (TOCL), v.3 n.4, p.562-603, October 2002
	Fausto Spoto , Thomas Jensen, Class analyses as abstract interpretations of trace semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.5, p.578-630, September 2003
	Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994
	Uday S. Reddy, Objects and classes in Algol-like languages, Information and Computation, v.172 n.1, p.63-97, January 10, 2002
	M. Lumpe , J.-G. Schneider, A form-based meta-model for software composition, Science of Computer Programming, v.56 n.1-2, p.59-78, April 2005
	Henry G. Baker, CLOStrophobia: its etiology and treatment, ACM SIGPLAN OOPS Messenger, v.2 n.4, p.4-15, Oct. 1991
	Gary T. Leavens, Introduction to the literature on object-oriented design, programming, and languages, ACM SIGPLAN OOPS Messenger, v.2 n.4, p.40-53, Oct. 1991
	Davide Ancona , Elena Zucca, A theory of mixin modules: algebraic laws and reduction semantics, Mathematical Structures in Computer Science, v.12 n.6, p.701-737, December 2002
	Federico Vazquez, An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications, ACM SIGSOFT Software Engineering Notes, v.21 n.4, p.71-80, July 1996
	Federico Vazquez, An algebra approach to the deduction of data flow diagrams and object oriented diagrams from a set of specifications, ACM SIGPLAN OOPS Messenger, v.6 n.2, p.18-27, April 1995
	Davide Ancona , Elena Zucca, A theory of mixin modules: basic and derived operators, Mathematical Structures in Computer Science, v.8 n.4, p.401-446, August 1998
	Gérard Boudol, The recursive record semantics of objects revisited, Journal of Functional Programming, v.14 n.3, p.263-315, May 2004
	Davide Ancona , Elena Zucca, A calculus of module systems, Journal of Functional Programming, v.12 n.2, p.91-132, March 2002