A prototype-based approach to object evolution - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles The Journal of Object Technology Year : 2020

A prototype-based approach to object evolution


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.
Fichier principal
Vignette du fichier
JOT_camera_ready.pdf (503.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01646168 , version 1 (23-11-2017)
hal-01646168 , version 2 (23-11-2017)
hal-01646168 , version 3 (06-06-2018)
hal-01646168 , version 4 (03-01-2020)
hal-01646168 , version 5 (19-01-2021)
hal-01646168 , version 6 (26-10-2021)


  • 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⟩
480 View
307 Download


Gmail Facebook X LinkedIn More