モナドに基づく代数仕様の書換え
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,代数仕様についてのモナド解釈という新しい意味論を定義し,これに基づく仕様書換え方法を示す.Moggiは,値から値への関数と値から計算への関数との関係がモナドによって与えられることを示した.本稿では,これを代数仕様に応用し,通常解釈の拡張としてのモナド解釈を定義する.そして,この意味論に基づいた,仕様書き換えのためのモディファイアの定義方法を提案する.本稿の方法はエラー処理の追加に限らず,さまざまな書換えに対応し得るものである.
- 一般社団法人情報処理学会の論文
- 1993-10-29