![](/img/cover-not-exists.png)
Separation logic + superposition calculus = heap theorem prover
Navarro Pérez, Juan Antonio, Rybalchenko, AndreyVolume:
46
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/1993316.1993563
Date:
June, 2011
File:
PDF, 596 KB
english, 2011