An update calculus for expressing type-safe program updates

DOI10.1016/J.SCICO.2007.01.003zbMath1122.68039OpenAlexW2112862673MaRDI QIDQ997231

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

program transformationsoftware evolutionrefactoringtype safetymeta programming

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• Haskell
• Unnamed Item
• Unnamed Item

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