scientific article; zbMATH DE number 3872648

MaRDI QIDQ3339255zbMATH OpenFDO

Authors Peter Pepper

Publication date 1984

zbMATH Keywords

inferential techniquestransformational calculustransformational program development

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 44312
• Transformational program development in a particular problem domain
• The transformational approach to program development
• A simple calculus for program transformation (inclusive of induction)
• Transformational programming and the derivation of algorithms

Cited in

(12)

• Program derivation through transformations: The evolution of list-copying algorithms
• Transformational program development in a particular problem domain
• The Munich project CIP. Volume II: The program transformation system CIP- S
• scientific article; zbMATH DE number 3872647 (Why is no real title available?)
• scientific article; zbMATH DE number 3936487 (Why is no real title available?)
• scientific article; zbMATH DE number 4033055 (Why is no real title available?)
• scientific article; zbMATH DE number 44312 (Why is no real title available?)
• scientific article; zbMATH DE number 1953287 (Why is no real title available?)
• scientific article; zbMATH DE number 2043478 (Why is no real title available?)
• Transformational programming and the derivation of algorithms
• A simple calculus for program transformation (inclusive of induction)
• Hume box calculus: Robust system development through software transformation

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 Q3339255)