研究文章

MIL，实现函数语言的一元中间语言

作者:

马克·P。琼斯,

贾斯廷贝利、和

西奥多·R。库珀作者信息和声明

IFL’18：第30届函数式语言实现与应用研讨会论文集

2018年9月

页71-82

https://doi.org/10.1145/3310232.3310238

出版:2018年9月5日出版历史

获取访问权限

摘要

本文描述了MIL，这是一种“一元中间语言”，旨在优化严格强类型函数语言的编译器。例如，通过使用公开闭包和代数数据类型值的构造和使用的符号，MIL优化器能够在代码生成之前检测并消除这些结构的许多不必要的使用。在这一领域，MIL与其他中间语言的一个区别在于，它对基本块使用了类型化、参数化的概念。这既支持新的优化技术，如创建基本块的专门版本的能力，也导致了实现数据表示更改的新方法。

工具书类

[1]

安德鲁·W·阿佩尔。1992年，《续编》。剑桥大学出版社，美国纽约州纽约市。

数字图书馆

[2]

贾斯汀·贝利。2012.使用数据流优化技术和一元中间语言。硕士论文。俄勒冈州波特兰州立大学计算机科学系。

[3]

亚当·克利帕拉（Adam Chlipala）。2015.纯功能Web应用程序语言的优化编译器。在第20届ACM SIGPLAN功能编程国际会议（ICFP 2015）的会议记录中。美国纽约州纽约市ACM。

数字图书馆

[4]

伊沃·S·迪亚奇基（Iavor S.Diatchki）、马克·P·琼斯（Mark P.Jones）和丽贝卡·莱斯利（Rebekah Leslie）。2005.关于低级表达的高层观点。2005年9月26日至28日在爱沙尼亚塔林举行的第十届ACM SIGPLAN功能编程国际会议记录，ICFP 2005。美国医学会，168-179。

数字图书馆

[5]

马修·弗莱特和斯蒂芬·威克斯。2001年，使用支配者进行控制。在第六届ACM SIGPLAN函数编程国际会议（ICFP'01）的会议记录中。ACM，美国纽约州纽约市，2-13。

数字图书馆

[6]

托马斯·约翰逊。1985.Lambda Lifting:将程序转换为递归方程。在IFIP函数式编程语言和计算机体系结构会议记录中（计算机科学讲稿，201）。斯普林格·弗拉格，190-203。

数字图书馆

[7]

马克·琼斯。1994.部分评估无词典过载。在ACM SIGPLAN部分评估和基于语义的程序操作研讨会（PEPM’94）中。

[8]

安德鲁·肯尼迪。2007年，编制（续）。在第十二届ACM SIGPLAN函数编程国际会议（ICFP'07）的会议记录中。美国纽约州纽约市ACM，177-190。

数字图书馆

[9]

克里斯·拉特纳（Chris Lattner）。2002年。LLVM：多阶段优化的基础设施。硕士论文。伊利诺伊大学厄本那-香槟分校计算机科学系。

[10]

2018年LLVM。LLVM编译器基础结构。http://llvm.org。

[11]

卢克·莫勒（Luke Maurer）、泽娜·阿里奥拉（Zena Ariola）、保罗·唐宁（Paul Downen）和西蒙·佩顿·琼斯（Simon Peyton Jones）。2017年，无续编。在ACM编程语言设计与实现会议（PLDI’17）上。美国医学会，482--494。

数字图书馆

[12]

E.莫吉。1989年，计算Lambda-calculus和Monads。第四届计算机科学逻辑年度研讨会论文集。IEEE出版社，美国新泽西州皮斯卡塔韦，14-23。

数字图书馆

[13]

艾伦·迈克罗夫特（Alan Mycroft）。1984年。多态类型方案和递归定义。第六届国际程序设计研讨会论文集。斯普林格·弗拉格，英国伦敦，217-228。

数字图书馆

[14]

西蒙·佩顿·琼斯（编辑）。2003年，Haskell 98语言与图书馆——修订报告。剑桥大学出版社。

[15]

Hasp项目。2010年，《习惯编程语言：经修订的初步报告》。http://github.com/atbit-lang/language-report。

[16]

菲利普·瓦德勒。1990.理解单子。1990年ACM LISP和函数编程会议记录（LFP’90）。61--78.

数字图书馆

[17]

斯蒂芬·威克斯。2006年，MLton的全程序编译。2006年ML研讨会论文集（ML'06）。美国纽约州纽约市ACM。

数字图书馆

建议

实现类型化中间语言

编译器技术的最新进展已经证明了使用强类型中间语言编译富类型源语言（例如ML）的好处。类型保护编译器可以使用类型来指导高级优化并。。。
阅读更多信息
实现类型化中间语言
ICFP’98：第三届ACM SIGPLAN函数编程国际会议记录

编译器技术的最新进展证明了使用强类型中间语言编译富类型源语言（例如ML）的好处。类型保护编译器可以使用类型来指导高级优化并。。。
阅读更多信息
不同源语言的功能中间形式
1996年CASCON:合作研究高级研究中心1996年会议记录

本文描述了WatIF的使用，它是一种基于λ-演算的简单编译器中间形式，用于编写各种编程语言的编译器前端。类似的中间形式以前曾用于单。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM其他会议

IFL’18：第30届函数式语言实现与应用研讨会论文集

2018年9月

143页

国际标准图书编号：9781450371438

内政部：10.1145/3310232

版权所有©2018 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。从请求权限[电子邮件保护].

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2018年9月5日

权限

请求对此文章的权限。

检查更新

限定符

研究文章
研究
参考有限公司

会议

2018年IFL

IFL 2018：第30届函数式语言实现与应用研讨会

2018年9月5-7日

马萨诸塞州洛厄尔市，美国

接受率

总体接受率36份提交文件中的19份，53%

贡献者

其他指标

查看文章度量

文献计量学和引文

文献计量学

文章指标

0
引文总数
140
总下载次数

下载次数（过去12个月）10
下载次数（最近6周）0

其他指标

查看作者指标

引文

视图选项

获取访问权限

登录选项

请检查您是否可以通过登录凭据或您的机构访问此文章以获得完全访问权限。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子