A Lambda Calculus of incomplete objects

  • Viviana Bono
  • Michele Bugliesi
  • Luigi Liquori
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1113)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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.Google Scholar
  2. 2.
    V. Bono, M. Bugliesi, and L. Liquori. A Calculus of Incomplete objects with Subtyping. In preparation.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    E. Ellis and B. Stroustrop. The Annotated C++ Reference Manual. ACM Press, 1990.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    A. Goldberg and D. Robson. Smalltalk-80, The Language and its Implementation. Addison Wesley, 1983.Google Scholar
  8. 8.
    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.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Viviana Bono
    • 1
  • Michele Bugliesi
    • 2
  • Luigi Liquori
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  2. 2.Dipartimento di MatematicaUniversità di PadovaPadovaItaly

Personalised recommendations