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.
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

Contributor : Luigi Liquori <>
Submitted on : Wednesday, June 6, 2018 - 2:27:21 PM
Last modification on : Thursday, February 7, 2019 - 4:14:55 PM


Files produced by the author(s)


  • HAL Id : hal-01646168, version 3



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⟩



Record views


Files downloads