Automating proofs of the absence of common runtime errors (1978)

by Steven M German
Venue:In Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages