Contributo in volume, 2015, ENG, 10.1007/978-3-319-25527-9_10

Safe adaptation through implicit effect coercion

Basile D.; Galletta L.; Mezzetti G.

CNR-ISTI, Pisa, Italy; Dipartimento di Informatica, Università di Pisa, Pisa, Italy; Aarhus University, Denmark

Context-Oriented programming languages provide us with primitive constructs to adapt programs behaviour depending on the evolution of their operational environment. In this paradigm developers must provide behaviour for any context a program may find in. A missing behaviour causes a new kind of runtime error: an adaptation error. We propose a novel mechanism, based on implicit function, that allows the execution environment to supply such behaviour when the program is not able to adapt. We assess our proposal extending a core functional language designed for adaptivity. We integrate the mechanism in a type and effect system, in the form of implicit coercions, showing that our type discipline guarantees that no adaptation errors occur.

Keywords

Type system, Adaptive

CNR authors

Basile Davide

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 345657

Year: 2015

Type: Contributo in volume

Creation: 2016-01-28 19:19:16.000

Last update: 2021-01-26 11:16:32.000

CNR authors

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:345657

DOI: 10.1007/978-3-319-25527-9_10

Scopus: 2-s2.0-84943634069

ISI Web of Science (WOS): 000380766100010