Proving total correctness of recursive procedures
From MaRDI portal
Publication:913478
DOI10.1016/0890-5401(90)90037-IzbMath0699.68024MaRDI QIDQ913478
Frank S. de Boer, Pierre America
Publication date: 1990
Published in: Information and Computation (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Verification of object-oriented programs: a transformational approach, Calculating sharp adaptation rules., Fifty years of Hoare's logic, Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach
Cites Work