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

DOI10.1109/32.21743zbMath0664.68017OpenAlexW2045057107MaRDI QIDQ3815517

Peter Pepper, Friedrich L. Bauer, Bernhard Möller, 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

algebraic specificationabstract data typessoftware development methodologywide spectrum languageprogram transformation system

Mathematics Subject Classification ID

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

Related Items (3)

Towards ``mouldable code via nested code graph transformation ⋮ Assertions and recursions ⋮ Provably correct derivation of algorithms using FermaT

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