Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)

IEEE International Conference on Computer Languages

Volumn , Issue , 1994, Pages 95-112

  Cousot, Patrick ^a   Cousot, Radhia ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; DATA REDUCTION; PROGRAMMING THEORY; SET THEORY;

APPROXIMATION ORDERING; COLLECTING SEMANTICS; GALOIS CONNECTIONS; HIGHER ORDER ABSTRACT INTERPRETATION; LAZY FUNCTIONAL LANGUAGES; PER ANALYSIS; STRICTNESS; TERMINATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0028196382     PISSN: 10748970     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (65)