Lightweight fusion by fixed point promotion

Atsushi Ohori, Isao Sasano

研究成果: Conference contribution

25 被引用数 (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.

本文言語English
ホスト出版物のタイトルConference Record of POPL 2007
ホスト出版物のサブタイトルThe 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium
ページ143-154
ページ数12
DOI
出版ステータスPublished - 2007 9 3
イベント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
ISSN(印刷版)0730-8566

Other

Other34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
国/地域France
CityNice
Period07/1/1707/1/19

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

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

引用スタイル