A Lambda Calculus of incomplete objects

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.
Type de document :
Communication dans un congrès
Mathematical Foundations of Computer Science 1996. 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings, Sep 1996, Cracow, Poland. Springer Verlag, 1113, pp.218-229, 2005, Lecture Notes in Computer Science. 〈10.1007/3-540-61550-4_150〉
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01156555
Contributeur : Luigi Liquori <>
Soumis le : mercredi 27 mai 2015 - 15:43:13
Dernière modification le : jeudi 11 janvier 2018 - 16:31:50
Document(s) archivé(s) le : lundi 24 avril 2017 - 15:46:30

Fichier

1996-mfcs-96.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Viviana Bono, Michele Bugliesi, Luigi Liquori. A Lambda Calculus of incomplete objects. Mathematical Foundations of Computer Science 1996. 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings, Sep 1996, Cracow, Poland. Springer Verlag, 1113, pp.218-229, 2005, Lecture Notes in Computer Science. 〈10.1007/3-540-61550-4_150〉. 〈hal-01156555〉

Partager

Métriques

Consultations de la notice

114

Téléchargements de fichiers

34