Boolean Heaps
Lecture notes in computer science2005pp. 268–283
Citations Over TimeTop 10% of 2005 papers
Related Papers
- → Probabilistic Abstractions with Arbitrary Domains(2011)10 cited
- → Shape Analysis through Predicate Abstraction and Model Checking(2002)23 cited
- A Program Transformation for Backwards Analysis of Logic Programs(2004)
- Verification by Abstract Interpretation.(2003)