圣地亚哥埃斯科瓦尔 功能程序优化中的策略和分析技术。 （英语） Zbl 1086.68027号 AI通讯。 17，第1号，35-37（2004年）. 摘要：本文摘录了作者最近为之辩护的博士论文的内容。函数式程序通常由术语重写系统建模。此类程序的执行通常会产生无用、危险和低效的评估序列，为了改善其计算行为，必须避免这些序列。本文提出了优化术语重写系统的新方法和技术，通过定义执行程序的新策略，或通过分析和转换程序来改进其计算行为。 MSC公司： 68甲18 函数编程和lambda演算 关键词：功能和逻辑编程;术语重写系统;改写（缩小）策略;程序分析和转换 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}，AI通讯。17，编号1，35-37（2004；Zbl 1086.68027） 全文： 链接