Automating Proofs of the Absence of Common Runtime Errors

Steven M. German. Automating Proofs of the Absence of Common Runtime Errors. In POPL. pages 105-118, 1978.

Abstract

Abstract is missing.