Weighted pushdown systems and their application to interprocedural dataflow analysis
- 31 October 2005
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 58 (1-2), 206-263
- https://doi.org/10.1016/j.scico.2005.02.009
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Efficient chaotic iteration strategies with wideningsPublished by Springer Science and Business Media LLC ,2006
- Analyzing Memory Accesses in x86 ExecutablesLecture Notes in Computer Science, 2004
- Propagating differences: An efficient new fixpoint algorithm for distributive constraint systemsPublished by Springer Science and Business Media LLC ,1998
- 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