References
- [1]
- [2] Byron Cook, Andreas Podelski & Andrey Rybalchenko (2011): Proving Program Termination. Commun. ACM 54(5), pp. 88–98. Available at http://doi.acm.org/10.1145/1941487.1941509.
- [3] Matt Kaufmann, Panagiotis Manolios, J Strother Moore & Daron Vroon (2006): Integrating CCG analysis into ACL2. In: Workshop Proceedings: WST 2006, Eighth International Workshop on Termination, pp. 64–68. Available at http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.97.8994&rep=rep1&type=pdf.
- [4] J Moore (Accessed: 2018): Terminatricks. https://github.com/acl2/acl2/tree/master/books/projects/codewalker/terminatricks.lisp.
Comments
There are no comments yet.