组织循环和子程序的一组指令

§1.引言循环的效率如何,是决定一台计算机或一个语言使用效率的重要因素之一。本文建议一组指令,可用来组织含非常出口的非递归子程序和循环,以及无奇点的递归子程序。文中证明了相应程序结构的正确性,并给出一个存储分配算法。这组指令较某机现行方案为简,论证起来也简单得多。在§2中说明机器的结构和指令。§3描述循环的程序结构和给出正确性证明。§4描述子程序的结构。§5介绍 S 站存储分配算法。