Proving programs correct through refinement

DOI10.1007/BF00289073zbMath0367.68010MaRDI QIDQ1242447

Claus H. Correll

Publication date: 1978

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

On correct refinement of programs, Specifications, models, and implementations of data abstractions

Cites Work

• Proof of correctness of data representations
• Proof techniques for hierarchically structured programs
• Abstract data types and software validation
• Program development by stepwise refinement
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item