×

编译以生成基于模板的运行时代码。 (英语) Zbl 1036.68019号

概要:Cyclone是一种类型安全的编程语言,提供显式的运行时代码生成。Cyclone编译器使用基于模板的策略生成运行时代码,其中预编译的代码片段在运行时缝合在一起。此策略使代码生成的成本保持在较低水平,但它要求在编译时对模板应用优化,例如寄存器分配和代码移动。本文描述了实现此类优化的原则方法。特别是,我们将标准流图中间表示推广到支持模板,定义从Cyclone(的子集)到该表示的映射,并描述支持跨模板边界标准优化的数据流分析框架。

MSC公司:

68甲15 编程语言理论
68甲18 函数编程和lambda演算

关键词:

旋风分离器
PDF格式BibTeX公司 XML格式引用
全文: 内政部