A protoype-based approach to object reclassification

Alberto Ciaffaglione 1 Pietro Gianantonio 1 Furio Honsell 1 Luigi Liquori 2, 3
2 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We investigate, in the context of functional prototype-based languages , a calculus of objects which might extend themselves upon receiving a message, a possibility referred to by Cardelli as a self-inflicted operation. We present a sound type system for this calculus which guarantees that evaluating a well-typed expression will never yield a message-not-found runtime error. The resulting calculus is an attempt towards the definition of a language combining the safety advantage of static type check with the flexibility normally found in dynamically typed languages.
Type de document :
Rapport
[Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2018
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01646168
Contributeur : Luigi Liquori <>
Soumis le : mercredi 6 juin 2018 - 14:27:21
Dernière modification le : jeudi 7 février 2019 - 16:14:55

Fichier

jot.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01646168, version 3

Collections

Citation

Alberto Ciaffaglione, Pietro Gianantonio, Furio Honsell, Luigi Liquori. A protoype-based approach to object reclassification. [Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2018. 〈hal-01646168v3〉

Partager

Métriques

Consultations de la notice

89

Téléchargements de fichiers

97