Static analysis of mega-programs: Invited paper

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1694, Issue , 1999, Pages 300-302

  Weise, Daniel ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS;

IMPERATIVE PROGRAMS; INTER-PROCEDURAL ANALYSIS; LINEAR COMPLEXITY; MEGA PROJECTS; PROCEDURAL ABSTRACTION; PROGRAM SIZE;

STATIC ANALYSIS;

EID: 84957648420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48294-6_19     Document Type: Conference Paper

References (0)