GHCプログラムの意味について

• Item type: SIG Technical Reports(1)
• 公開日: 1986-12-12
• タイトル: GHCプログラムの意味について
• タイトル / 言語: en
• タイトル: TOWARDS A SEMANTIC MODEL OF GHC
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 三菱電機中央研究所
• 著者所属(英): en
• 著者所属(英): Central Research Laboratory, Mitsubishi Electric Corporation
• 著者名: 竹内, 彰一
• 著者名(英): Akikazu, Takeuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: GHCにおける計算の意味は入力サブスティチューションと出力サブスティチューションの間の対応関係としてとらえることができる。しかし一般に非決定性をもつ言語の意味としては入出力関係だけでは不十分なことが知られている。本論文は入出力関係の他に入出力要素間の因果関係も抽出するBrockらのシナリオ集合モデルに基づくGHCの意味モデルを与える。このモデルは宣言的デバッギングや等価変換等に適したものになっている。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A semantic model of GHC programs based on the scenario set model of Brock et al. is presented. It provides as a meaning of a program a set of input-output histories each associated with causality relation between input and output substitutions and can be regarded as a basis for developing theory of parallel logic programming such as declarative debugging and equivalence preserving transformation.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1986, 号 83(1986-PRO-019), p. 69-76, 発行日 1986-12-12
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会