• Proving non-termination

Treffer: Proving non-termination

Title:
Proving non-termination
Authors:
Gupta, Ashutosh, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, Andrey, Xu, Ru-Gang
Source:
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :147-158
Availability:
http://dl.acm.org/doi/10.1145/1328438.1328459
Database:
ACM Full-Text Collection