Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
- 13 May 2003
- book chapter
- Published by Springer Nature
- p. 189-213
- https://doi.org/10.1007/3-540-44898-5_11
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Efficient Algorithms for Model Checking Pushdown SystemsPublished by Springer Nature ,2000
- An Automata-Theoretic Approach to Interprocedural Data-Flow AnalysisPublished by Springer Nature ,1999
- Precise interprocedural dataflow analysis with applications to constant propagationTheoretical Computer Science, 1996
- Demand Interprocedural Program Analysis Using Logic DatabasesPublished by Springer Nature ,1995
- Solving demand versions of interprocedural analysis problemsPublished by Springer Nature ,1994
- Generating data flow analysis algorithms from modal specificationsScience of Computer Programming, 1993
- Memoing for logic programsCommunications of the ACM, 1992
- The interprocedural coincidence theoremPublished by Springer Nature ,1992
- Grammar flow analysisPublished by Springer Nature ,1991
- Data flow analysis as model checkingPublished by Springer Nature ,1991