[論文レビュー] Functional Logic Program Transformations

Hanus Michael, Steven Libby|arXiv (Cornell University)|Jan 19, 2026

Logic, programming, and type systems被引用数 0

ひとこと要約

この論文は、Curry における関数型論理プログラミングを用いたプログラム変換の実装方法を提示し、非決定性と関数型パターンを活用してコンパクトでモジュール化された変換を作成し、FlatCurry 表現に対する非決定的アプローチと決定論的アプローチを比較します。

ABSTRACT

Many tools used to process programs, like compilers, analyzers, or verifiers, perform transformations on their intermediate program representation, like abstract syntax trees. Implementing such program transformations is a non-trivial task, since it is necessary to iterate over the complete syntax tree and apply various transformations at nodes in a tree. In this paper we show how the features of functional logic programming are useful to implement program transformations in a compact and comprehensible manner. For this purpose, we propose to write program transformations as partially defined and non-deterministic operations. Since the implementation of non-determinism usually causes some overhead compared to deterministically defined operations, we compare our approach to a deterministic transformation method. We evaluate these alternatives for the functional logic language Curry and its intermediate representation FlatCurry which is used in various analysis and verification tools and compilers.

研究の動機と目的

• コンパイラ、分析ツール、検証ツールの工具としてのプログラム変換を動機付け、研究する。
• 関数型論理プログラミングが、コンパクトで理解しやすい変換定義を促進することを示す。
• 表現としての FlatCurry を提示し、変換定義を部分的に定義された非決定的操作として実演する。
• Curry とその FlatCurry 中間表現において、非決定的変換アプローチと決定論的変換アプローチを評価する。

提案手法

• Curry におけるプログラム変換を部分的に定義された非決定的操作として定義する。
• 関数型パターンを用いて変換における深いパターンマッチングを表現する。
• FlatCurry を中間表現として、変換後のプログラムを対象・操作する。
• 変換における非決定性と失敗を管理するための encapsulated search を説明する。
• 実装とオーバーヘッドの観点から、非決定的な変換定義と決定論的なものを比較する。
• 例としてリストの位置へ挿入するなど、変換定義を示す illustrative examples を提供する。

実験結果

リサーチクエスチョン

• RQ1 Curry の関数型論理機能をどう活用して、プログラム変換をモジュール的で理解しやすい方法で表現できるか？
• RQ2 非決定的と決定論的な変換定義の利点と欠点（オーバーヘッドなど）は何か？
• RQ3 これらの変換アプローチは Curry プログラムと FlatCurry 中間表現にどの程度適用できるか？
• RQ4 関数型パターンと encapsulated search は変換を表現・制御する上でどんな役割を果たすか？

主な発見

• 関数型論理機能は、プログラム変換のコンパクトでモジュール的な表現を可能にする。
• encapsulated search を伴う非決定的操作は、適切な場合に複数の結果を扱いながら変換を簡潔に表現できる。
• 関数型パターンは、変換内で深く、任意の深さのパターンマッチングを可能にし、表現力を改善する。
• Curry/FlatCurry の設定における非決定的変換アプローチと決定論的変換アプローチの比較評価を含む。
• FlatCurry は、Curry ベースのツールで変換を適用・評価する実用的な中間形として機能する。