Formal language, grammar and set-constraint-based program analysis by abstract interpretation

Volumn , Issue , 1995, Pages 170-181

  Cousot, Patrick ^a   Cousot, Radhia ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL GRAMMARS; COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; CONSTRAINT THEORY; FORMAL LANGUAGES; ITERATIVE METHODS;

ABSTRACT INTERPRETATION; ASCENDING CHAIN CONDITION; FINITE DOMAIN; GRAMMAR BASED PROGRAM ANALYSIS; SET CONSTRAINT BASED PROGRAM ANALYSIS; STATIC ANALYSIS TECHNIQUES;

PROGRAMMING THEORY;

EID: 0029180092     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/224164.224199     Document Type: Conference Paper

References (30)