×

Haskell基于转换的优化程序。 (英语) Zbl 0942.68030号

摘要:许多编译器通过正确性保护(corrections-preserving)和性能改进(performance improvement)程序转换来完成部分工作。格拉斯哥-哈斯克尔编译器将“通过转换进行编译”的思想作为其核心思想,试图以程序转换的形式尽可能多地表达编译过程。本文报告了我们在一个实际编译器环境中使用转换编译方法的实践经验。

MSC公司:

68N20型 编译与解释理论

软件:

哈斯克尔
PDF格式BibTeX公司 XML格式引用
全文: 内政部