An extended static checker for modula-3

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1383, Issue , 1998, Pages 302-305

  Rustan, K ^a   Leino, M ^a   Nelson, Greg ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84958041521     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0026441     Document Type: Conference Paper

References (0)