Computer aided fusion for algebraic program derivation

MaRDI QIDQ2765921zbMATH OpenFDO

Authors Walter Dosch, Sönke Magnussen

Publication date 24 January 2002

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

Lübeck transformation system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 140016
• Using computer algebra techniques for the specification, verification and synthesis of recursive programs
• scientific article; zbMATH DE number 1390330
• Program algebra and coprogram calculus
• scientific article; zbMATH DE number 3872655
• Publication:4861677
• Combining algebraic specifications and procedural tools for correct program development
• scientific article; zbMATH DE number 177792
• Algebraic properties of program integration
• scientific article; zbMATH DE number 3954253

Cited in

(2)

• Algebraic fusion of functions with an accumulating parameter and its improvement
• Algebraic fusion of functions with an accumulating parameter and its improvement

This page was built for publication: Computer aided fusion for algebraic program derivation

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