Verification via Structure Simulation

This publication has 11 references indexed in Scilit:

• The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
  Published by Springer Nature ,2004
• Symbolic Implementation of the Best Transformer
  Published by Springer Nature ,2004
• Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
  Published by Springer Nature ,2004
• Compile-Time Debugging of C Programs Working on Trees
  Published by Springer Nature ,2000
• Descriptive Complexity
  Published by Springer Nature ,1999
• A Decidable Logic for Describing Linked Data Structures
  Published by Springer Nature ,1999
• Solving shape-analysis problems in languages with destructive updating
  ACM Transactions on Programming Languages and Systems, 1998
• Intererence analysis tools for parallelizing programs with recursive data structures
  Published by Association for Computing Machinery (ACM) ,1989
• Recursive data structures
  International Journal of Parallel Programming, 1975
• Proof of correctness of data representations
  Acta Informatica, 1972