3CPS: The Design of an Environment-Focussed Intermediate Representation
3CPS: The Design of an Environment-Focussed Intermediate Representation
复制标题
3CPS：以环境为中心的中间表示的设计
DOI：
10.1145/3544885.3544889
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Shivers, Olin
中科院分区：
文献类型：
--
作者：
Quiring, Benjamin;Reppy, John;Shivers, Olin
我们描述了3CPS的设计，编译器中间表示（IR），我们已经开发用于编译调用的值函数语言，如SML，OCaml，计划，和Lisp。该语言是一种低级形式，与一套匹配的静态分析相结合。它反映了我们的信念，一个优化的编译器的函数式语言的核心任务是对程序的环境结构的原因。我们的IR的特点是存在程度注释，添加到所有变量（并通过静态分析验证）。这些注释是根据IR的语义定义的，但它们直接告诉编译器需要什么机器资源来实现每个注释变量的环境结构。
We describe the design of 3CPS, a compiler intermediate representation (IR) we have developed for use in compiling call-by-value functional languages such as SML, OCaml, Scheme, and Lisp. The language is a low-level form designed in tandem with a matching suite of static analyses. It reflects our belief that the core task of an optimising compiler for a functional language is to reason about the environment structure of the program. Our IR is distinguished by the presence of extent annotations, added to all variables (and verified by static analysis). These annotations are defined in terms of the semantics of the IR, but they directly tell the compiler what machine resources are needed to implement the environment structure of each annotated variable.
影响因子：
0.6
作者：
Vardoulakis, Dimitrios;Shivers, Olin
通讯作者：
Shivers, Olin
连续传递风格与静态单一赋值形式之间的对应关系
影响因子：
4.2
作者：
R. Kelsey
通讯作者：
R. Kelsey
DOI：
--
发表时间：
2017
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
Luke Maurer;P. Downen;Z. Ariola;Simon Peyton Jones
通讯作者：
Simon Peyton Jones