Contributo in volume, 2015, ENG, 10.1007/978-3-319-25527-9_10
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.
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 links
OAI-PMH: Dublin Core
OAI-PMH: Mods
OAI-PMH: RDF
DOI: 10.1007/978-3-319-25527-9_10
URL: https://link.springer.com/chapter/10.1007%2F978-3-319-25527-9_10
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