Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We adopt a language-based approach to the development of such systems, with particular attention to preventing them from failures in adaptation. The kernel of our proposal is a simple core language, equipped with a type and effect system that computes a sound approximation of program behaviour. The effect is exploited at loading time to verify that programs correctly adapt themselves to all possible running environments. © 2014 Springer International Publishing.
A Two-Phase Static Analysis for Reliable Adaptation / Degano, P.; Ferrari, G. L.; Galletta, L.. - 8702:(2014), pp. 347-362. ( 12th International Conference on Software Engineering and Formal Methods, SEFM 2014 Grenoble, fra 2014) [10.1007/978-3-319-10431-7_28].
A Two-Phase Static Analysis for Reliable Adaptation
Galletta L.
2014
Abstract
Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We adopt a language-based approach to the development of such systems, with particular attention to preventing them from failures in adaptation. The kernel of our proposal is a simple core language, equipped with a type and effect system that computes a sound approximation of program behaviour. The effect is exploited at loading time to verify that programs correctly adapt themselves to all possible running environments. © 2014 Springer International Publishing.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
