Relevance heuristics for program analysis

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

Volumn , Issue , 2008, Pages 145-146

  McMillan, K L ^a  

^a Cadence Research Labs   (United States)

Author keywords

abstract interpretation; craig interpolation; model checking

Indexed keywords

ABSTRACT INTERPRETATIONS; CRAIG INTERPOLATION; DECISION PROCEDURE; INTERPOLANTS; PROGRAM ANALYSIS; PROGRAM VERIFICATION; SAT SOLVERS;

COMPUTER PROGRAMMING LANGUAGES; MODEL CHECKING;

INTERPOLATION;

EID: 84865622680     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328438.1328440     Document Type: Conference Paper

References (0)