Automatic verification of pointer programs using monadic second-order logic

This publication has 13 references indexed in Scilit:

• Alias analysis of pointers in Pascal and Fortran 90: dependence analysis between pointer references
  Acta Informatica, 1996
• Solving shape-analysis problems in languages with destructive updating
  Published by Association for Computing Machinery (ACM) ,1996
• Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
  Published by Association for Computing Machinery (ACM) ,1996
• Semantic models and abstract interpretation techniques for inductive data structures and pointers
  Published by Association for Computing Machinery (ACM) ,1995
• LCLint
  Published by Association for Computing Machinery (ACM) ,1994
• Interprocedural may-alias analysis for pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Graph types
  Published by Association for Computing Machinery (ACM) ,1993
• Inferring the equivalence of functional programs that mutate data
  Theoretical Computer Science, 1992
• A safe approximate algorithm for interprocedural aliasing
  Published by Association for Computing Machinery (ACM) ,1992
• Parallelizing programs with recursive data structures
  IEEE Transactions on Parallel and Distributed Systems, 1990