コンピュータ ソフトウェア
Print ISSN : 0289-6540
表示的意味論に基づくパターンマッチングコンパイル方式の構築と実装
大堀 淳纓坂 智
著者情報
ジャーナル フリー

24 巻 (2007) 2 号 p. 2_113-2_132

詳細
PDFをダウンロード (427K) 発行機関連絡先
抄録

本論文では,パターンマッチングとそのコンパイルを系統的に理解するための表示的意味論を提示し,それを基に,パターンマッチング構文を効率よいコードにコンパイルする系統的なアルゴリズムを提案する.まず,パターンを値の部分集合と見なし,パターンマッチング構文を,マッチングの対象項が含まれる部分集合を決定する機構と見なすことにより,パターンマッチングの集合論的意味論を与える.次に,各パターンの表示的意味を表現する木構造を定義し,それに基づきパターンマッチングのコンパイルアルゴリズムを導出し,このアルゴリズムの正しさを証明する.導出されたアルゴリズムは,分岐の選択に関して正しいばかりでなく,実行時の値のテスト回数に関して最適であり,かつ,冗長なパターンや網羅的でないパターン集合を常に正確に検出することが保証されている.以上構築したアルゴリズムは,Standard MLの拡張言語であるSML#言語に対して実装され,SML#コンパイラのパターンマッチングコンパイルモジュールとしての使用を通じてその実用性が確認されている.

著者関連情報
© 日本ソフトウェア科学会 2007
前の記事 次の記事

オルトメトリクス
閲覧履歴
feedback
Top