Lightweight fusion by fixed point promotion

Atsushi Ohori, Isao Sasano

研究成果: Conference contribution

32 被引用数 (Scopus)


This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features: it works for general recursive functions on general algebraic data types; it does not produce extra runtime overhea (except for possible code size increase due to the success of fusion); and it is readily incorporated in standard inlining optimization. This is achieved by extending the ordinary inlining process with a new fusion law that transforms a term of the form f o (fixgx.E) to a new fixed point term fixhx.E′ by promoting the function f through the fixed point operator. This is a sound syntactic transformation rule that is not sensitive to the types of f and g. This property makes our method applicable to wide range of functions including those with multi-parameters in both curried and uncurried forms. Although this method does not guarantee any form of completeness, it fuses typical examples discussed in the literature and others that involve accumulating parameters, either in the tt foldl-like specific forms or in general recursive forms, without any additional machinery. In order to substantiate our claim, we have implemented our method in a compiler. Although it is preliminary, it demonstrates practical feasibility of this method.

ホスト出版物のタイトルConference Record of POPL 2007
ホスト出版物のサブタイトルThe 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium
出版ステータスPublished - 2007
イベント34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Nice, France
継続期間: 2007 1月 172007 1月 19


名前Conference Record of the Annual ACM Symposium on Principles of Programming Languages


Conference34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

ASJC Scopus subject areas

  • ソフトウェア


「Lightweight fusion by fixed point promotion」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。