Generalized Typestate Checking for Data Structure Consistency

This publication has 18 references indexed in Scilit:

• Typestates for Objects
  Published by Springer Nature ,2004
• Declaring and checking non-null types in an object-oriented language
  Published by Association for Computing Machinery (ACM) ,2003
• Typestate Verification: Abstraction Techniques and Complexity Results
  Published by Springer Nature ,2003
• Adoption and focus
  Published by Association for Computing Machinery (ACM) ,2002
• Relative Completeness of Abstraction Refinement for Software Model Checking
  Published by Springer Nature ,2002
• Fickle: Dynamic Object Re-classification
  Published by Springer Nature ,2001
• Enforcing high-level protocols in low-level software
  Published by Association for Computing Machinery (ACM) ,2001
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Avoiding exponential explosion
  Published by Association for Computing Machinery (ACM) ,2001
• Performance analysis pf parallelizing compilers on the Perfect Benchmarks programs
  IEEE Transactions on Parallel and Distributed Systems, 1992