112
click to vote
CSL
2002
Springer
15 years 2 months ago
2002
Springer
This paper presents sound and complete Hoare logics for partial and total correctness of recursive parameterless procedures in the context of unbounded nondeterminism. For total co...