[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Automatic modular abstractions for linear constraints
Monniaux, David P.Year:
2008
Language:
english
DOI:
10.1145/1480881.1480899
File:
PDF, 375 KB
english, 2008