.png){kind=icon}
Return
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2015.2496941.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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 functional one for computing. We equip our language with a dynamic formal semantics. Since wrong adaptation could severely compromise the correct behaviour of applications and violate their properties, we also introduce a two-phase verification mechanism. It is based on a type and effect system that type-checks programs and computes, as an effect, a sound approximation of their behaviour. The effect is exploited at load time to mechanically verify that programs correctly adapt themselves to all possible running environments.
Keywords:
Adaptive software
context oriented programming
formal methods
datalog
functional programming
semantics
type systems
verification
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.6
Papers:
2.9K
Citations:
1.1W
Organization
Cited Papers
ShareSaveShareSaveShareSaveInvolvement of Membrane Lipids in Radiation Damage to Potassium-ion Permeability ofEscherichia Coli.png)
International Journal of Radiation Biology and Related Studies in Physics, Chemistry and Medicine
International Journal of Radiation Biology and Related Studies in Physics, Chemistry and MedicineIF0
PREAI
ShareSaveShareSaveChallenges of Organ Shortage for Heart Transplant: Surviving Amidst the Chaos of Long Waiting Times
OAAI
OAAIShareSaveShareSave
View more