An update calculus for expressing type-safe program updates

DOI10.1016/J.SCICO.2007.01.003MaRDI QIDQ997231zbMATH OpenOpenAlexFDO

Authors Martin Erwig, Deling Ren

Publication date 23 July 2007

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

Full work available at URL https://doi.org/10.1016/j.scico.2007.01.003

zbMATH Keywords

meta programmingprogram transformationrefactoringsoftware evolutiontype safety

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1956559
• scientific article; zbMATH DE number 2089396
• Mutatis mutandis: safe and predictable dynamic software updating
• ReCaml: execution state as the cornerstone of reconfigurations
• A calculus of program adaption and its applications

Cited in

(3)

• scientific article; zbMATH DE number 1956559 (Why is no real title available?)
• ReCaml: execution state as the cornerstone of reconfigurations
• Mutatis mutandis: safe and predictable dynamic software updating

Describes a project that uses

Uses Software

• Stratego
• ELAN
• Haskell

This page was built for publication: An update calculus for expressing type-safe program updates

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