指令序列中的间接跳转
摘要：序列程序是指带有直接和间接跳转指令的指令序列。直观上，间接跳转指令是指跳转到某个内存单元中的指令的位置。我们考虑几种类型的间接跳转指令。对于每一种类型，我们通过将具有该类型间接跳转指令的程序转换为没有间接跳转指令的程序来定义具有该类型间接跳转指令的程序的含义。对于每一种类型，具有该类型间接跳转指令的程序在执行时的预期行为是在与某个内存设备交互时，在执行转换后的程序时的行为。
作者：J. A. Bergstra, C. A. Middelburg
论文ID：0711.0829
分类：Programming Languages
分类简称：cs.PL
提交时间：2008-04-08