![](/img/cover-not-exists.png)
[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Automatic numeric abstractions for heap-manipulating programs
Magill, Stephen, Tsai, Ming-Hsien, Lee, Peter, Tsay, Yih-KuenYear:
2010
Language:
english
DOI:
10.1145/1706299.1706326
File:
PDF, 553 KB
english, 2010