Skip to Main content Skip to Navigation

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 [38 references]  Display  Hide  Download
Contributor : Luigi Liquori <>
Submitted on : Friday, January 3, 2020 - 12:33:15 PM
Last modification on : Monday, October 12, 2020 - 10:30:41 AM


Files produced by the author(s)


  • HAL Id : hal-01646168, version 4



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. 2019. ⟨hal-01646168v4⟩



Record views


Files downloads