摘要：指令序列的一个操纵片段由一系列操纵指令组成。这些是涉及顺序逻辑中命题陈述的决策点。问题是为什么在操纵片段中出现了组合命题陈述，考虑到直接的转换可以消除它们。调查提供了在有意义的指令序列中组合命题陈述出现时可能隐含的约束条件。
作者：Jan A.Bergstra
论文ID：1010.2850
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-10-15
PDF 下载： 英文版 中文版pdf翻译中