A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a function...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 42; no. 6; pp. 505 - 529
Main Authors:	Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.06.2016 IEEE Computer Society
Subjects:	Adaptability Adaptation Adaptation models Adaptive Software Approximation Computer languages Computer programming Context Context Oriented Programming Datalog Dynamical systems Dynamics Formal Methods Functional Programming Information systems Mathematical analysis Programming Programming languages Running Semantics Software Studies Type Systems Verification context oriented programming functional programming formal methods Adaptive software semantics type systems verification datalog
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!