> So as far as I can reason, this kind of static analysis would not be as beneficial as one may originally think. There are many advantages to total (terminati

> So as far as I can reason, this kind of static analysis would not be as beneficial as one may originally think. There are many advantages to total (terminating/coterminating) programming languages. It's not so much about throwing some random Java/C/whatever codebase at a tool and expecting useful results; it's more about making languages themselves more consistent, simpler, etc. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106.364&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.106...