Experimental Comparison of Call String and Functional Approaches to Interprocedural Analysis
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Principles of Program AnalysisPublished by Springer Nature ,1999
- PAG - an efficient program analyzer generatorInternational Journal on Software Tools for Technology Transfer, 1998
- Analysis of loopsPublished by Springer Nature ,1998
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- Interprocedural constant propagationACM Letters on Programming Languages and Systems, 1993
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- The interprocedural coincidence theoremPublished by Springer Nature ,1992
- Monotone data flow analysis frameworksActa Informatica, 1977