Formal program construction by transformations-computer-aided, intuition-guided programming

DOI10.1109/32.21743MaRDI QIDQ3815517zbMATH OpenOpenAlexFDO

Authors Friedrich L. Bauer, Bernhard Möller, Peter Pepper, Helmut Partsch

Publication date 1989

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.21743

zbMATH Keywords

abstract data typesalgebraic specificationsoftware development methodologywide spectrum languageprogram transformation system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• Formalized program specifications and transformation synthesis
• scientific article; zbMATH DE number 1222428
• Publication:4934141
• scientific article; zbMATH DE number 2084335
• Transformational programming and the derivation of algorithms
• Program transformations in a denotational setting
• Formal deduction with transfinite induction and its transformation for easier program synthesis
• On the Proof Theory of Program Transformations
• scientific article; zbMATH DE number 1555192

Cited in

(9)

• Towards ``mouldable code via nested code graph transformation
• The Munich project CIP. Volume I: The wide spectrum language CIP-L
• The Munich project CIP. Volume II: The program transformation system CIP- S
• Assertions and recursions
• Provably correct derivation of algorithms using FermaT
• scientific article; zbMATH DE number 4005584 (Why is no real title available?)
• scientific article; zbMATH DE number 3936487 (Why is no real title available?)
• scientific article; zbMATH DE number 3872647 (Why is no real title available?)
• Transformational programming and the derivation of algorithms

This page was built for publication: Formal program construction by transformations-computer-aided, intuition-guided programming

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