Program Termination Analysis in Polynomial Time.
| Autor: | Ben-Amram, Amir M.1, Chin Soon Lee2 cslee_sg@hotmail.com |
|---|---|
| Zdroj: | ACM Transactions on Programming Languages & Systems. Jan2007, Vol. 29 Issue 1, p1-37. 37p. 3 Charts, 7 Graphs. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|