Automating Proofs of the Absence of Common Runtime Errors.

Steven M. German Automating Proofs of the Absence of Common Runtime Errors. 105-118 1978 POPL db/conf/popl/popl78.html#German78