Abstract
This paper extends the Lambda Calculus of Objects as proposed in [5] with a new support for incomplete objects. Incomplete objects behave operationally as “standard” objects; their typing, instead, is different, as they may be typed even though they contain references to methods that are yet to be added. As a byproduct, incomplete objects may be typed independently of the order of their methods and, consequently, the operational semantics of the untyped calculus may be soundly defined relying on a permutation rule that treats objects as sets of methods. The new type system is a conservative extension of the system of [5] that retains the mytype specialization property for inherited methods peculiar to [5], as well as the ability to statically detect run-time errors such as message not understood.
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and L. Cardelli. A Theory of Primitive Objects. In Proceedings of Theoretical Aspect of Computer Software, volume 789 of LNCS, pages 296–320. Springer-Verlag, 1994.
V. Bono, M. Bugliesi, and L. Liquori. A Calculus of Incomplete objects with Subtyping. In preparation.
V. Bono and L. Liquori. A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. In Proceedings of International Conference of Computer Science Logic, volume 933 of LNCS, 1995.
E. Ellis and B. Stroustrop. The Annotated C++ Reference Manual. ACM Press, 1990.
K. Fisher, F. Honsell, and J. C. Mitchell. A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing, l(l):3–37, 1994.
K. Fisher and J. C. Mitchell. A Delegation-based Object Calculus with Subtyping. In Proceedings of FCT-95, Lecture Notes in Computer Science. Springer-Verlag, 1995. To appear.
A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983.
J. C. Michell. Toward a Typed Foundation for Method Specialization and Inheritance. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 109–124. ACM, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bono, V., Bugliesi, M., Liquori, L. (1996). A Lambda Calculus of incomplete objects. In: Penczek, W., Szałas, A. (eds) Mathematical Foundations of Computer Science 1996. MFCS 1996. Lecture Notes in Computer Science, vol 1113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61550-4_150
Download citation
DOI: https://doi.org/10.1007/3-540-61550-4_150
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61550-7
Online ISBN: 978-3-540-70597-0
eBook Packages: Springer Book Archive