Static Correctness of Hierarchical Procedures

Michael I. Schwartzbach. Static Correctness of Hierarchical Procedures. Theoretical Computer Science, 156(1&2):177-201, 1996. [doi]

Abstract

Abstract is missing.