具有间接跳转的指令序列

我们研究作为具有直接和间接跳转指令的指令序列的顺序程序。其直觉是，间接跳转指令是指跳转目标指令的位置由某个存储单元的内容决定的跳转指令。我们考虑了几种间接跳转指令。对于每一种，我们通过将其翻译为不含间接跳转指令的程序来定义具有该类间接跳转指令的程序的含义。对于每一种，具有该类间接跳转指令的程序在执行时的预期行为，即为翻译后的程序在与某种存储设备交互时的执行行为。