DOI10.1007/BF00286493zbMath0432.68007MaRDI QIDQ1138900
S. H. Smith
Publication date: 1980 Published in: Acta Informatica (Search for Journal in Brave)
zbMATH Keywords
partial correctness; loop invariants; inductive assertions; generalized invariants; infinite proof rules
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software