Framework for combining analysis and verification

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2000, Pages 26-39

  Heintze, Nevin ^a   Jaffar, Joxan ^b   Voicu, Razvan ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION;

ABSTRACT INTERPRETATION; PROGRAM ANALYSIS;

PROGRAM DIAGNOSTICS;

EID: 0033706804     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)