Pages that link to "Item:Q1581063"
From MaRDI portal
The following pages link to A calculus of program adaption and its applications (Q1581063):
Displaying 7 items.
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- An update calculus for expressing type-safe program updates (Q997231) (← links)
- A comparison of three programming models for adaptive applications on the origin2000 (Q1604313) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- A calculus for reconfiguration (extended abstract) (Q2851704) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)