A calculus of program adaption and its applications

DOI10.1016/S0167-6423(99)00046-5MaRDI QIDQ1581063zbMATH OpenFDO

Authors Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili

Publication date 14 September 2000

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

program constructionre-engineering

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1303991
• A calculus for reconfiguration (extended abstract)
• scientific article; zbMATH DE number 4033055
• A calculus for reasoning about software composition
• Unifying program construction and modification

Cited in

(8)

• A comparison of three programming models for adaptive applications on the origin2000
• An update calculus for expressing type-safe program updates
• A core calculus for dynamic delta-oriented programming
• A calculus of evolving objects
• A white box perspective on behavioural adaptation
• Hume box calculus: Robust system development through software transformation
• A calculus for reconfiguration (extended abstract)
• A calculus for reasoning about software composition

This page was built for publication: A calculus of program adaption and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1581063)