Skip to Main content Skip to Navigation

A prototype-based approach to object reclassification

Alberto Ciaffaglione 1 Pietro Gianantonio 1 Furio Honsell 1 Luigi Liquori 2
2 KAIROS - Logical Time for Formal Embedded System Design
Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, CRISAM - Inria Sophia Antipolis - Méditerranée
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
Contributor : Luigi Liquori <>
Submitted on : Tuesday, January 19, 2021 - 6:31:15 PM
Last modification on : Monday, February 8, 2021 - 7:45:21 PM


Files produced by the author(s)


  • HAL Id : hal-01646168, version 5



Alberto Ciaffaglione, Pietro Gianantonio, Furio Honsell, Luigi Liquori. A prototype-based approach to object reclassification. [Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2020. ⟨hal-01646168v5⟩



Record views


Files downloads