A Heap of Problems is a wiki↑ collecting benchmark examples aimed at improving communication between developers in the area of tools for separation logic and shape analysis.
External links[]
- A Heap of Problems wiki
133
pages
A Heap of Problems is a wiki↑ collecting benchmark examples aimed at improving communication between developers in the area of tools for separation logic and shape analysis.