Istituto di Scienza e Tecnologie dell'Informazione     
Basile D., Galletta L., Mezzetti G. Safe adaptation through implicit effect coercion. Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami (eds.). (Lecture Notes in Computer Science, vol. 9465). Paris, France: Springer, 2015.
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.
URL: http://link.springer.com/chapter/10.1007/978-3-319-25527-9_10
DOI: 10.1007/978-3-319-25527-9_10
Subject Type system
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional