Checking Cleanness in Linked Lists
Abstract elided by the publisher.
Related papers
- Compositional Invariant Checking for Overlaid and Nested Linked Lists ESOP 2013
- Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs ESOP 2015
- Automated Verification of Concurrent Linked Lists with Counters SAS 2002
- Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning VMCAI 2007
- Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists VMCAI 2005
- Wait-free linked-lists PPoPP 2012
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis SAS 2001
- A more pragmatic implementation of the lock-free, ordered, linked list PPoPP 2021