著者
梅村 晃広
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告. [プログラミング-言語基礎実践-]
巻号頁・発行日
vol.93, no.97, pp.1-8, 1993-10-29

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

言及状況

はてなブックマーク (2 users, 2 posts)

[CiNii][programming][資料]

Twitter (2 users, 2 posts, 0 favorites)

[B!] CiNii 論文 -  モナドに基づく代数仕様の書換え http://t.co/BLj3A52V
“CiNii 論文 -  モナドに基づく代数仕様の書換え” http://t.co/IGkgKbeZ

Wikipedia (2 pages, 4 posts, 2 contributors)

編集者: I.hidekazu
2021-11-10 07:39:22 の編集で削除されたか、リンク先が変更された可能性があります。
編集者: I.hidekazu
2015-01-22 03:28:16 の編集で削除されたか、リンク先が変更された可能性があります。
編集者: I.hidekazu
2012-06-19 21:11:00 の編集で削除されたか、リンク先が変更された可能性があります。

収集済み URL リスト