An extended static checker for Modula-3 (1998)

by K R M Leino, G Nelson
Venue:In CC 98: Compiler Construction, LNCS 1383