Formal development of static program analyzers

Proceedings of the Israeli Conference on Computer Systems and Software Engineering

Volumn , Issue , 1997, Pages 101-110

  Gouranton, Valerie ^a   Le Metayer, Daniel ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SYSTEMS PROGRAMMING; INFERENCE ENGINES; TREES (MATHEMATICS);

STATIC PROGRAM ANALYSIS;

SOFTWARE ENGINEERING;

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

References (17)