モナドに基づく代数仕様の書換え

• 梅村 晃広

  NTT基礎研究所

書誌事項

タイトル別名

• Modification of algebraic specifications based on monads

抄録

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

収録刊行物

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

  情報処理学会研究報告. [プログラミング-言語基礎実践-] 93 (97), 1-8, 1993-10-29

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

詳細情報

• CRID: 1573950401960871168
• NII論文ID: 110002929389
• NII書誌ID: AN10464060
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles