我有一个非常难看的旧程序试图组织/美化。几千行，几十个标签和大约100个goto。转到大约一半向前和向后一半。它们在每个方向上重叠，甚至还有一些计算过的goto和一些案例陈述，它们几个案例中都不知所措。我可以说程序没有做的唯一不好的事情是分支到thens，elses或case。它使用条件分支向后而不是循环，但其中许多都在case语句中。
我记得在40或50年前证明，如果有一个循环和if-then-else（更不用说案例），那就不需要goto了。问题是：是否有任何可管理的算法或规则集可以通过手工或计算机来完成证据证明可行的事情，即将意大利面翻译成合理可读的代码，而大部分的转换都消失了？