The clean termination of iterative programs

• 1 October 1981
• journal article
• Published by Springer Nature in Acta Informatica
• Vol. 16  (2)
• https://doi.org/10.1007/bf00261259

Abstract

Keywords

• CLEAN TERMINATION
• ITERATIVE PROGRAMS
• ALGEBRAICALLY
• PARTIAL CORRECTNESS
• VERIFICATION
• PRECONDITION