A calculus of program adaption and its applications

DOI10.1016/S0167-6423(99)00046-5zbMath0957.68075MaRDI QIDQ1581063

Jules Desharnais, Rahma Ben Ayed, Marc Frappier, Ali Milli

Publication date: 14 September 2000

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

zbMATH Keywords

program constructionre-engineering

Mathematics Subject Classification ID

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