scientific article; zbMATH DE number 1956559

MaRDI QIDQ4417899zbMATH OpenFDO

Authors Martin Erwig, Deling Ren

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180269.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• An update calculus for expressing type-safe program updates
• Mutatis mutandis: safe and predictable dynamic software updating
• ReCaml: execution state as the cornerstone of reconfigurations
• \(L^3\): a linear language with locations
• Typed Lambda Calculi and Applications

Cited in

(6)

• An update calculus for expressing type-safe program updates
• scientific article; zbMATH DE number 2061711 (Why is no real title available?)
• Strongly typed rewriting for coupled software transformation
• Mutatis mutandis: safe and predictable dynamic software updating
• Hazelnut: a bidirectionally typed structure editor calculus
• ReCaml: execution state as the cornerstone of reconfigurations

Describes a project that uses

Uses Software

• ELAN

This page was built for publication:

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