阿尔贝托·佩特罗西；安德烈·斯科伦 用于程序派生的lambda抽象策略的威力。 （英语） Zbl 0682.68014号 J.信息处理。赛博。 25，编号5-6，263-281（1989）. 作者之前的论文【Lect.Notes Compute.Sci.250，182-196（1987；Zbl 0614.68009号)]讨论了高阶泛化策略（也称为lambda抽象策略），并通过举例说明了它在程序自动推导中的应用。对该策略进行了更详细的研究。此外，考虑到其他著名策略不起作用的一些情况，分析了它获得高效程序的能力。审核人：S.Miura公司 MSC公司： 68号01 软件理论的一般主题 关键词：lambda抽象策略；程序推导；反向功能 引文：Zbl 0614.68009号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{A.Skowron}，J.Inf.过程。赛博。25、编号5--6、263--281（1989；Zbl 0682.68014）