Temporal abstract interpretation

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

Volumn , Issue , 2000, Pages 12-25

  Cousot, Patrick ^a   Cousot, Radhia ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA FLOW ANALYSIS; SET THEORY;

TEMPORAL CALCULI; TEMPORAL LOGICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0033706805     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/325694.325699     Document Type: Conference Paper

References (23)