Compile-Time Debugging of C Programs Working on Trees

This publication has 9 references indexed in Scilit:

• ASPECT: an economical bug-detector
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A domain-specific language for regular sets of strings and trees
  IEEE Transactions on Software Engineering, 1999
• Solving shape-analysis problems in languages with destructive updating
  ACM Transactions on Programming Languages and Systems, 1998
• LISA: A specification language based on WS2S
  Published by Springer Nature ,1998
• Putting pointer analysis to work
  Published by Association for Computing Machinery (ACM) ,1998
• Automatic verification of pointer programs using monadic second-order logic
  Published by Association for Computing Machinery (ACM) ,1997
• Graph types
  Published by Association for Computing Machinery (ACM) ,1993
• Automata on Infinite Objects
  Published by Elsevier ,1990
• An axiomatic basis for computer programming
  Communications of the ACM, 1969