Safe and flexible objects

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Safe and flexible objects

Full text

Pdf (162 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2005 ACM symposium on Applied computing table of contents

Santa Fe, New Mexico

SESSION: Object-oriented programming languages and systems (OOP) table of contents

Pages: 1258 - 1263

Year of Publication: 2005

ISBN:1-58113-964-0

Authors

Lorenzo Bettini	Università di Firenze
Viviana Bono	Università di Torino
Silvia Likavec	Università di Torino

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 10, Citation Count: 0

Additional Information:

abstract references 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/1066677.1066963 What is a DOI?

ABSTRACT

We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are "incomplete objects", that can be completed in object-based fashion. The combination of class-based features with object-based ones offers some flexible programming solutions. The fact that all objects are created from fully-typed constructs is a guarantee of controlled (therefore reasonably safe) behavior.

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	Martin Abadi , Luca Cardelli, A Theory of Objects, Springer-Verlag New York, Inc., Secaucus, NJ, 1996
	2	D. Ancona , G. Lagorio , E. Zucca, True separate compilation of Java classes, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.189-200, October 06-08, 2002, Pittsburgh, PA, USA [doi>10.1145/571157.571177]
	3	L. Bettini, V. Bono, and S. Likavec. A Core Calculus of Higher-Order Mixins and Classes. In Proc. of TYPES'03, LNCS, 2003. To appear.
	4	L. Bettini, V. Bono, and S. Likavec. A core calculus of mixin-based incomplete objects. In FOOL 11, 2004.
	5	Lorenzo Bettini , Viviana Bono , Betti Venneri, Coordinating Mobile Object-Oriented Code, Proceedings of the 5th International Conference on Coordination Models and Languages, p.56-71, April 08-11, 2002
	6	V. Bono. Type Systems for the Object Oriented Paradigm. PhD thesis, Università di Torino, 1999.
	7	V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, and L. Liquori. A Subtyping for extensible, incomplete objects. Fundamenta Informaticae, 38(4):325--364, 1999.
	8	Viviana Bono , Amit Patel , Vitaly Shmatikov, A Core Calculus of Classes and Mixins, Proceedings of the 13th European Conference on Object-Oriented Programming, p.43-66, June 14-18, 1999
	9	Gilad Bracha , William Cook, Mixin-based inheritance, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.303-311, September 1990, Ottawa, Canada
	10	Kim B. Bruce, Foundations of object-oriented languages: types and semantics, MIT Press, Cambridge, MA, 2002
	11	Kathleen Shanahan Fisher , John C. Mitchell, Type systems for object-oriented programming languages, 1996
	12	Kathleen Fisher , Furio Honsell , John C. Mitchell, A lambda calculus of objects and method specialization, Nordic Journal of Computing, v.1 n.1, p.3-37, Spring 1994
	13	K. Fisher and J. Reppy. A typed calculus of traits. In FOOL 11, 2004.
	14	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 [doi>10.1145/268946.268961]
	15	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	16	Tom Hirschowitz , Xavier Leroy, Mixin Modules in a Call-by-Value Setting, Proceedings of the 11th European Symposium on Programming Languages and Systems, p.6-20, April 08-12, 2002
	17	S. Likavec. Types for object-oriented and functional programming languages. PhD thesis, Università di Torino, 2005. Forthcoming.
	18	Amit Jayant Patel , John Mitchell, Obstacl: a language with objects, subtyping, and classes, 2002
	19	Privacy via subsumption, Information and Computation, v.172 n.1, p.2-28, January 10, 2002 [doi>10.1006/inco.2000.2925]
	20	N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behaviour. In L. Cardelli, editor, Proc. of ECOOP 2003, volume 2743 of LNCS, pages 248--274, Springer, 2003.
	21	Andrew K. Wright , Matthias Felleisen, A syntactic approach to type soundness, Information and Computation, v.115 n.1, p.38-94, Nov. 15, 1994 [doi>10.1006/inco.1994.1093]