Inductive definitions, semantics and abstract interpretation

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

Volumn , Issue , 1992, Pages 83-94

  Cousot, Patrick ^a   Cousot, Radhia ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FORMAL LANGUAGES; FORMAL LOGIC; PROGRAMMING THEORY; SET THEORY; THEOREM PROVING;

ABSTRACT INTERPRETATION; FIXED POINT THEORY; INDUCTIVE DEFINITIONS; SEMANTICS;

COMPUTATIONAL LINGUISTICS;

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

References (31)