Liste des Groupes | Revenir à theory |
You stupidly claimed termination analysis is only doneThe claim is not supported by the referred article.
on programs. I proved that you were stupidly wrong on
pages 24-27 of the PDF of this paper.
Automated Termination Analysis of C Programs
https://publications.rwth-aachen.de/record/972440/files/972440.pdf
Les messages affichés proviennent d'usenet.