Proving programs correct: Some techniques and examples

DOI10.1007/BF01936865zbMath0206.17601MaRDI QIDQ5606282

Ralph L. London

Publication date: 1970

Published in: BIT (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

The validity of return address schemes ⋮ A survey of state vectors

Cites Work

• The structure of the “THE”-multiprogramming system
• A constructive approach to the problem of program correctness
• A proof of Hamblin's algorithm for translation of arithmetic expressions from infix to postfix form
• Computer Interval Arithmetic: Definition and Proof of Correct Implementation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proving programs correct: Some techniques and examples