著者

梅村 晃広

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告. [プログラミング-言語基礎実践-]

巻号頁・発行日

vol.93, no.97, pp.1-8, 1993-10-29

---

本稿では,代数仕様についてのモナド解釈という新しい意味論を定義し,これに基づく仕様書換え方法を示す.Moggiは,値から値への関数と値から計算への関数との関係がモナドによって与えられることを示した.本稿では,これを代数仕様に応用し,通常解釈の拡張としてのモナド解釈を定義する.そして,この意味論に基づいた,仕様書き換えのためのモディファイアの定義方法を提案する.本稿の方法はエラー処理の追加に限らず,さまざまな書換えに対応し得るものである.