A calculus of program adaption and its applications

DOI10.1016/S0167-6423(99)00046-5zbMATH Open0957.68075MaRDI QIDQ1581063FDOQ1581063

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)

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

zbMATH Keywords

program constructionre-engineering

Mathematics Subject Classification ID

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

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
• A calculus for reconfiguration (extended abstract)
• Hume box calculus: Robust system development through software transformation
• 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)