Data flow analysis is model checking of abstract interpretations

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

Volumn , Issue , 1998, Pages 38-48

  Schmidt, David A ^a  

^a KANSAS STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA REDUCTION; FLOWCHARTING; MATHEMATICAL MODELS;

ABSTRACT INTERPRETATIONS; DATA FLOW ANALYSIS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0031701157     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/268946.268950     Document Type: Conference Paper

References (63)