Uvarov,D.L。 清理规则吊床的最佳算法。 (英语。俄文原件) Zbl 0972.68033号 程序。计算。柔和。 24,第2期,91-99(1998年); 译自Programmirovanie 1998,No.2,68-80(1998)。 引言:我们研究了清除分支语句的转换。分支语句是指命令式编程语言中的条件语句和案例语句。论文组织如下。在第1节中,介绍了一个规则吊床的模型。常规吊床表示由分支语句组成的程序控制结构的一部分。在这个模型中,一组规则吊床与程序的一个片段相关联。每个常规吊床代表源片段或片段本身的一个循环体;在此过程中,所有循环都被视为基本语句。在第2节中,描述了无冗余规则吊床的一个子类。无冗余的规则吊床表示那些不包含赋值语句的程序片段,在将程序分解为基本语句时,会有多余(未使用)的结果。在第3节中,考虑了清除转换及其上下文条件。本节还提供了无冗余吊床的更简单上下文条件。值得注意的是,在清除转换下,无冗余是不变的。第4节介绍了清除常规吊床的算法。证明了该算法的正确性,并给出了所需时间和内存的估计。还证明了如果将该算法应用于无冗余输入吊床,则输出吊床的大小在通过清除输入吊床可以获得的所有吊床中是最小的。 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 关键词:清除分支语句;普通吊床 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Uvarov},程序。计算。柔和。24,No.2,91--99(1998;Zbl 0972.68033);译自Programmirovanie 1998,No.2,68--80(1998)