Preliminary Notes on Termination and Non-Termination Reasoning

Ton Chanh Le
DOI: https://doi.org/10.48550/arXiv.1309.3128
2013-09-12
Programming Languages
Abstract:In this preliminary note, we will illustrate our ideas on automated mechanisms for termination and non-termination reasoning.
What problem does this paper attempt to address?