多元指令序列的线程提取
摘要：指令序列的现象是被分割成多个片段，并以某种方式产生共同的行为。为了更好地描述这一现象，我们对一个简单的机制进行了形式化，该机制使得多个指令序列片段可以产生共同的行为。我们还展示了即使在这个简单的机制的情况下，通过将多个指令序列片段翻译成一个单一的指令序列来解释其执行过程也是一个非平凡的问题。
作者：J. A. Bergstra, C. A. Middelburg
论文ID：0802.1578
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-11-20