Document - Safe adaptation through implicit effect coercion

2015

Contribution to book Restricted

Safe adaptation through implicit effect coercion

Basile D, Galletta L, Mezzetti G

Adaptive Type system

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.

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:345657,
	title = {Safe adaptation through implicit effect coercion},
	author = {Basile D and Galletta L and Mezzetti G},
	doi = {10.1007/978-3-319-25527-9_10},
	year = {2015}
}