Inheritance in smalltalk-80: a denotational definition

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Inheritance in smalltalk-80: a denotational definition

Full text

Pdf (805 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Diego, California, United States

Pages: 80 - 87

Year of Publication: 1988

ISBN:0-89791-252-7

Author

S. Kamin

Computer Science Dept., 1304 W. Springfield University of Illinois, Urbana, Illinois

Sponsors

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

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 22, Citation Count: 25

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/73560.73567 What is a DOI?

ABSTRACT

A denotational semantic definition of SMALLTALK-80 is given. Its most notable characteristic is a surprisingly simple treatment of inheritance. An executable version of the semantics, written in STANDARD ML, is also described.

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.

	Ca84	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
	Ca85	L. Cardelli, Amber, AT&T Bell Labs Technical Memorandum, 1985.
	CW86	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]
	Cl81	W. Clinger, Foundations of Actor Semantics~ PhD. thesis, MIT, 1981.
	Co87	W. R. Cook, A Denotational Semantic~ of Inheritance (Eztended Abstract}, Brown University, Dept. of Comp. Sci., July 1987.
	D66	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]
	F85	Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer, Principles of OBJ2, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.52-66, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318610]
	G85	J. Gutgag, J. Horning, J. Wing, Larch in five easy pieces, Technical Report 5, DEC Systems Research Oenter~ 1985.
	GR83	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	Go78	M. Gordon , R. Milner , L. Morris , M. Newey , C. Wadsworth, A Metalanguage for interactive proof in LCF, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-130, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512773]
	J86	Ralph E. Johnson, Type-checking Smalltalk, Conference proceedings on Object-oriented programming systems, languages and applications, p.315-321, September 29-October 02, 1986, Portland, Oregon, United States
	L86	Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.214-223, September 29-October 02, 1986, Portland, Oregon, United States
	M86	Conference proceedings on Object-oriented programming systems, languages and applications, June 1986
	M84	Robin Milner, A proposal for standard ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.184-197, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802035]
	R87	U. Reddy, Ou the semantics of object-oriented languages, manuscript, U. of Illinois, May 1987.
	Sc86	Craig Schaffert , Topher Cooper , Bruce Bullis , Mike Kilian , Carrie Wilpolt, An introduction to Trellis/Owl, Conference proceedings on Object-oriented programming systems, languages and applications, p.9-16, September 29-October 02, 1986, Portland, Oregon, United States
	Sto77	Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, MA, 1977
	Str86	Bjarne Stroustrup, The C++ programming language, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	T77a	R. Tennent, A denotational definition of the programming language Pascal, T. R. 77-47, Dept. of Computing and Info. Sci., Queen's Univ., Kingston, Ontario, 1977.
	T77b	R. Tennent, Language design method8 based on semantic principles, Acta info. 8, 1977, 97-112.
	T86	David S. Touretzky, The mathematics of inheritance systems, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1986
	W87	Mario Wolczko, Semantics of Smalltalk-80, European conference on object-oriented programming on ECOOP '87, p.108-120, October 1987, Paris, France

CITED BY 25

	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
	Martín Abadi , Luca Cardelli , Ramesh Viswanathan, An interpretation of objects and object types, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.396-409, January 21-24, 1996, St. Petersburg Beach, Florida, 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
	Uday Reddy, Objects as closures: abstract semantics of object-oriented languages, Proceedings of the 1988 ACM conference on LISP and functional programming, p.289-297, July 25-27, 1988, Snowbird, Utah, United States
	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
	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
	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
	Christopher League , Zhong Shao , Valery Trifonov, Type-preserving compilation of Featherweight Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.24 n.2, p.112-152, March 2002
	W. Cook , J. Palsberg, A denotational semantics of inheritance and its correctness, ACM SIGPLAN Notices, v.24 n.10, p.433-443, Oct. 1989
	Neal Glew, An efficient class and object encoding, ACM SIGPLAN Notices, v.35 n.10, p.311-324, Oct. 2000
	Harold Ossher , William Harrison, Combination of inheritance hierarchies, ACM SIGPLAN Notices, v.27 n.10, p.25-40, Oct. 1992
	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
	Shinn-Der Lee , Daniel P. Friedman, Enriching the lambda calculus with contexts: toward a theory of incremental program construction, ACM SIGPLAN Notices, v.31 n.6, p.239-250, June 15, 1996
	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
	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type inference, ACM SIGPLAN Notices, v.26 n.11, p.146-161, Nov. 1991
	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
	Justin O. Graver , Ralph E. Johnson, A type system for Smalltalk, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.136-150, December 1989, San Francisco, California, United States
	Luigi Liquori , Bernard Paul Serpette, iRho: an imperative rewriting calculus, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.167-178, August 24-26, 2004, Verona, Italy
	Bernhard Reus , Thomas Streicher, Semantics and logic of object calculi, Theoretical Computer Science, v.316 n.1-3, p.191-213, 28 May 2004
	Uday S. Reddy, Objects and classes in Algol-like languages, Information and Computation, v.172 n.1, p.63-97, January 10, 2002
	Juan Chen , David Tarditi, A simple typed intermediate language for object-oriented languages, ACM SIGPLAN Notices, v.40 n.1, p.38-49, January 2005
	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
	Gérard Boudol, The recursive record semantics of objects revisited, Journal of Functional Programming, v.14 n.3, p.263-315, May 2004