An exercise in the transformational derivation of an efficient program by joint development of control and data structure

DOI10.1016/0167-6423(83)90002-3zbMath0512.68018OpenAlexW1989762032MaRDI QIDQ1050110

Helmut Partsch

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0167-6423(83)90002-3

zbMATH Keywords

computer-aided intuition- guided programmingformal program development by transformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)