An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs

DOI10.1109/TSE.1976.233828zbMath0351.68006MaRDI QIDQ4121386

David Gries

Publication date: 1976

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (1)

Higher order data types

This page was built for publication: An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs