scientific article; zbMATH DE number 1956559

zbMATH Open1032.68057MaRDI QIDQ4417899FDOQ4417899

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (6)

• An update calculus for expressing type-safe program updates
• Title not available (Why is that?)
• 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

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)