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

• Item type: SIG Technical Reports(1)
• 公開日: 1993-10-29
• タイトル: モナドに基づく代数仕様の書換え
• タイトル / 言語: en
• タイトル: Modification of algebraic specifications based on monads
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTT基礎研究所
• 著者所属(英): en
• 著者所属(英): NTT Basic Research Laboratories
• 著者名: 梅村, 晃広
• 著者名(英): Akihiro, Umemura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では、代数仕様についてのモナド解釈という新しい意味論を定義し、これに基づく仕様書換え方法を示す。Moggiは、値から値への関数と値から計算への関数との関係がモナドによって与えられることを示した。本稿では、これを代数仕様に応用し、通常解釈の拡張としてのモナド解釈を定義する。そして、この意味論に基づいた、仕様書き換えのためのモディファイアの定義方法を提案する。本稿の方法はエラー処理の追加に限らず、さまざまな書換えに対応し得るものである。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we show the formal semantics of modification of algebraic specifications. Moggi showed the monadic structure of the relation between functiouns from values to values and functions from values to computations. We use this relation to define monad interpretation of specification, which is the extention of usual interpretation. After that, we show how to define syntactic modifiers based on monads. Throughout this paper, we use an example of extending a specification with error handling, but this method is not restricted to error handling.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1993, 号 97(1993-PRO-014), p. 1-8, 発行日 1993-10-29
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会