Skip to Main content Skip to Navigation
New interface
Journal articles

A prototype-based approach to object evolution

Alberto Ciaffaglione 1 Pietro Di Gianantonio 1 Furio Honsell 1 Luigi Liquori 2 
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 metadata
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Tuesday, October 26, 2021 - 3:07:57 PM
Last modification on : Thursday, August 4, 2022 - 4:59:30 PM


Files produced by the author(s)


  • HAL Id : hal-01646168, version 6



Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori. A prototype-based approach to object evolution. The Journal of Object Technology, 2020, 20 (4), pp.1--24. ⟨hal-01646168v6⟩



Record views


Files downloads