Dataset - CKAN

Compositional Invariant Checking for Overlaid and Nested Linked Lists

We introduce a fragment of separation logic, called NOLL, for auto- mated reasoning about programs manipulating overlaid and nested linked lists, where overlaid means...
- HTML

You can also access this registry using the API (see API Docs).