An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis

This publication has 19 references indexed in Scilit:

• Model checking for context-free processes
  Published by Springer Nature ,2006
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Reachability analysis of pushdown automata: Application to model-checking
  Published by Springer Nature ,1997
• A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
  Electronic Notes in Theoretical Computer Science, 1997
• Structured operational semantics as a specification language
  Published by Association for Computing Machinery (ACM) ,1995
• Decidability of bisimulation equivalence for process generating context-free languages
  Journal of the ACM, 1993
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Invariance of Approximative Semantics with Respect to Program Transformations
  Informatik-Fachberichte, 1981
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977