![](/img/cover-not-exists.png)
[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Natural proofs for structure, data, and separation
Qiu, Xiaokang, Garg, Pranav, Ştefănescu, Andrei, Madhusudan, ParthasarathyYear:
2013
Language:
english
DOI:
10.1145/2491956.2462169
File:
PDF, 501 KB
english, 2013