
[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Proving non-termination
Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-GangAnnée:
2008
Langue:
english
DOI:
10.1145/1328438.1328459
Fichier:
PDF, 265 KB
english, 2008