具有跳转-移位指令的程序代数
摘要：研究具有跳转移指令的指令序列的顺序程序，跳转移指令在PGA（程序代数）的环境中。在跳转指令之前的跳转移指令增加了要跳转到的位置。跳转移指令在编程实践中不常见。它的优点是，如果跳转指令的范围有界，那么通过跳转移指令扩展PGA的表达能力不会减弱。利用这一点，可以证明存在一个有限状态执行机制，通过使用一个计数器可以从一些由有限或周期无限的指令序列组成的有限程序中产生每个有限状态线程。
作者：J. A. Bergstra, C. A. Middelburg
论文ID：0712.1658
分类：Programming Languages
分类简称：cs.PL
提交时间：2008-11-11