失敗集合に基づく並列論理型プログラムの宣言的意味論

• Item type: SIG Technical Reports(1)
• 公開日: 1988-12-09
• タイトル: 失敗集合に基づく並列論理型プログラムの宣言的意味論
• タイトル / 言語: en
• タイトル: A Declarative Semantics of Parallel Logic Programs based on Failure Set
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （財）新世代コンピュータ技術開発機構研究所
• 著者所属(英): en
• 著者所属(英): Institute for New Generation Computer Technology
• 著者名: 村上, 昌己
• 著者名(英): Masaki, Murakami
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 筆者は先に[Murakamj 88a]で、GHCの様なHorn論理に基づく並列プログラミング言語についての成功集合意味論について報告した。そこで提案された意味論は[Lloyd 84]における純Horn論理型プログラムに対する宣言的意味論の拡張であり、プログラムの表示(denotation)は単位節にかわって入出力履歴の集合によって与えられた。本稿では、入出力履歴の概念を拡張し、プログラムの失敗集合すなわち実行中に失敗する可能性のあるゴールの集合を定義する。プログラムのセマンティクスは先に[Murakami 88a]で導入されたω成功集合とここで定義された失敗集合の対によって与えられる。さらにここでは、失敗集合がある連続な関数の最小不動点によって特徴付けられることを示す。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A success set semantics of GHC programs was reported in [Murakami 88a]. That paper adopted the approach which is an extension of declarative semantics of pure Horn logic programs [Lloyd 84]. The semantics of a program is defined as a set of I/O histories instead of unit clauses. This paper presents a failure set semantics of programs as the set of I/O histories. The semantics of programs is defined as the tuple of the ω-success set and the failure set. It also shows that the failure set of a program is characterized as the least fixpoint of a continuous function.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1988, 号 94(1988-PRO-027), p. 49-58, 発行日 1988-12-09
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会