Generation of efficient interprocedural analyzers with PAG
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Interprocedural constant propagationPublished by Association for Computing Machinery (ACM) ,1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- How to analyze large programs efficiently and informativelyPublished by Association for Computing Machinery (ACM) ,1992
- Bounded fixed point iterationPublished by Association for Computing Machinery (ACM) ,1992
- Interprocedural constant propagationPublished by Association for Computing Machinery (ACM) ,1986
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Monotone data flow analysis frameworksActa Informatica, 1977
- Even simple programs are hard to analyzePublished by Association for Computing Machinery (ACM) ,1975
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973