Skip to Main content Skip to Navigation
Reports

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

https://hal.inria.fr/hal-01646168
Contributor : Luigi Liquori <>
Submitted on : Tuesday, January 19, 2021 - 6:31:15 PM
Last modification on : Monday, February 8, 2021 - 7:45:21 PM

File

SUBMITTED-JOT-2021.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01646168, version 5

Collections

Citation

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⟩

Share

Metrics

Record views

28

Files downloads

101