![](/img/cover-not-exists.png)
[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Separation logic + superposition calculus = heap theorem prover
Navarro Pérez, Juan Antonio, Rybalchenko, AndreyYear:
2011
Language:
english
DOI:
10.1145/1993498.1993563
File:
PDF, 596 KB
english, 2011