Extended Weighted Pushdown Systems

This publication has 16 references indexed in Scilit:

• Cloning-based context-sensitive pointer alias analysis using binary decision diagrams
  Published by Association for Computing Machinery (ACM) ,2004
• Analyzing Memory Accesses in x86 Executables
  Published by Springer Nature ,2004
• Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
  Published by Springer Nature ,2003
• A generic approach to the static analysis of concurrent programs with procedures
  Published by Association for Computing Machinery (ACM) ,2003
• MOPS
  Published by Association for Computing Machinery (ACM) ,2002
• A BDD-Based Model Checker for Recursive Programs
  Published by Springer Nature ,2001
• Precise interprocedural dataflow analysis with applications to constant propagation
  Theoretical Computer Science, 1996
• Precise interprocedural dataflow analysis via graph reachability
  Published by Association for Computing Machinery (ACM) ,1995
• The interprocedural coincidence theorem
  Published by Springer Nature ,1992
• Monotone data flow analysis frameworks
  Acta Informatica, 1977