西蒙·佩顿·琼斯;安德烈·L·M·桑托斯。 Haskell基于转换的优化程序。 (英语) Zbl 0942.68030号 科学。计算。程序。 32,第1-3、3-47号(1998年). 摘要:许多编译器通过正确性保护(corrections-preserving)和性能改进(performance improvement)程序转换来完成部分工作。格拉斯哥-哈斯克尔编译器将“通过转换进行编译”的思想作为其核心思想,试图以程序转换的形式尽可能多地表达编译过程。本文报告了我们在一个实际编译器环境中使用转换编译方法的实践经验。 引用于6文件 MSC公司: 68N20型 编译与解释理论 关键词:格拉斯哥-哈斯克尔编译器;汇编 软件:哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{S.L.P.Jones}和\textit{A.L.M.Santos},科学。计算。程序。32,编号1--3,3-47(1998;Zbl 0942.68030) 全文: 内政部