摘要：通过使用布尔寄存器，我们证明在没有跳转指令的情况下，可以通过单次执行指令序列来生成所有常规线程（即只能处于有限状态的线程）。我们还证明，如果使用的是跳转指令而不是goto指令，标签数量的限制会限制表达能力。
作者：J.A. Bergstra, C.A. Middelburg
论文ID：0810.1106
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-12
PDF 下载： 英文版 中文版pdf翻译中