Program termination analysis in polynomial time
Ben-Amram, Amir M. ; Lee, Chin Soon
ACM transactions on programming languages and systems, 2007, Vol.29 (1), p.1-37
[Periódico revisado por pares]
New York, NY: Association for Computing Machinery
Texto completo disponível