Authors
Programs are given a new semantics with the merit that a specification written as a first-order predicate can be refined, step by step, to a program via the rules of Predicate Calculus. The semantics allows a free mixture of predicate and programming notations, and manipulation of programs.
No takes yet. Share an insight, caveat, or question.
Eric C. R. Hehner (1984) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: