Specifications, programs, and total correctness

摘要

This paper argues the following positions: that a formal specification is a boolean expres- sion, that a program is a specification, and that total correctness is a poor choice of semantics.