Weighted pushdown systems and their application to interprocedural dataflow analysis
Authors:
- Thomas RepsTRThomas Reps
- Stefan SchwoonSSStefan Schwoon
- Somesh JhaSJSomesh Jha
- David MelskiDMDavid Melski
- 1 October 2005
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 58 (1-2) , 206-263
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Efficient chaotic iteration strategies with widenings2006
- Analyzing Memory Accesses in x86 Executables2004
- Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems1998
- A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)Electronic Notes in Theoretical Computer Science, 1997
- Precise interprocedural dataflow analysis with applications to constant propagationTheoretical Computer Science, 1996
- Demand interprocedural dataflow analysisACM SIGSOFT Software Engineering Notes, 1995
- Generating data flow analysis algorithms from modal specificationsScience of Computer Programming, 1993
- Memoing for logic programsCommunications of the ACM, 1992
- Algebraic properties of program integrationScience of Computer Programming, 1991
- Program derivation by fixed point computationScience of Computer Programming, 1989