宋丽通；福村义彦 一种新的专业化终止方法。 （英语） Zbl 1044.68533号 Taha，Walid（编辑），《程序生成的语义、应用和实现》。2000年9月20日在加拿大蒙特利尔举行的SAIG 2000国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41054-6）。莱克特。票据计算。科学。1924, 72-91 (2000). 摘要：井拟序，特别是同胚嵌入，最近变得流行起来，以确保程序专业化和转换技术的终止。在本文中，我们提出了一种称为递归条件方法的终止方法，以确保在线专家的终止。与一些传统方法一样，递归条件方法也基于同胚嵌入的良好拟序。然而，不是使用函数的参数，而是使用调用递归调用的条件。由于递归条件方法利用了递归条件，在一定程度上包含了原始程序的一些语义信息，我们认为这种方法比使用良好的拟序/同胚嵌入的传统方法更充分，可以生成更有效的剩余程序。此外，我们提出了一种结合递归条件方法和传统方法优点的方法（称为组合方法）。有关整个系列，请参见[Zbl 0947.00043号]. MSC公司： 68号01 软件理论的一般主题 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：电子计算机控制；WSDFU（WSDFU） PDF格式BibTeX公司 XML格式引用 \textit{L.Song}和\textit{Y.Futamura}，Lect。票据计算。科学。1924年，72-91年（2000年；Zbl 1044.68533） 全文： 链接