Generation of efficient interprocedural analyzers with PAG
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 33-50
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Interprocedural constant propagation1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- How to analyze large programs efficiently and informatively1992
- Bounded fixed point iteration1992
- Interprocedural constant propagation1986
- Systematic design of program analysis frameworks1979
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977
- Monotone data flow analysis frameworksActa Informatica, 1977
- Even simple programs are hard to analyze1975
- A unified approach to global program optimization1973