| 講演名 | 1994/1/26 無限実行プロセスを生成するGHCプログラムに対するOR-Compositionalな意味論 加藤 暢, 村上 昌已, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 並列論理型言語GHC(Guarded Horn Clauses)に対して[加藤,村上.並列論理型言語GHCに対するOR-合成可能な意味論,1993]において[A.Bossi and M.Gabbrielli and G.Levi and M.C.Meo.Contributions to the Semantics ofOpen Logic Prgrams.1992],[M.Murakami.A Declarative Semantics ofFlat Guarded Horn Clauses for Programs with Perp etual Processes,1990]の結果を用いる事により,OR-Compositional な意味論を提案した.しかしこの意味論では意味写像を最小不動点で与えていたため,無限実行を行うプロセスの動作を表現する事が不可能であった.本稿では最大不動点で意味写像を定議し,この意味写像に対応したOR-合成演算を定議する事によって[並列論理型言語GHCに対するOR-合成可能な意味論]で提案した意味論を拡張する. |
| 抄録(英) | We presented an OR-Compositional declartative semantics of GHC(Guarded Horn Clauses) in £T.Kato,M.Murakami.An OR-Compositiona l Semantics for Guarded Horn Clauses,1993! by extending the seman- tics constructed in £M.Murakami.A Declarative Semantics of Flat Gu arded Horn Clauses for Programs with Perp etual Processes,1990! using the idea of OR-Compositional semantics presented in £A.Bossi and M.Gabbrielli and G.Levi and M.C.Meo.Contributions to the Semantics of Open Logic Prgrams.1992!.That semantics however could not express the behaviors of perpetual processes because we adopted a least fixpoint semantics to define the semantic function. We extend the semantics constructed in £An OR-Compositional Sema ntics for Guarded Horn Clauses! by adopting a greatest fixpoint semantics for semantic function and defining OR-Composisional function which corresponds to the greatest fixpoint semantics. |
| キーワード(和) | 並列論理型言語GHC / OR-合成可能性 / 無限実行プロセス / 宣言的意味論 / 入出力履歴 |
| キーワード(英) | GHC / OR-Compositionality / Perpetual-process / Declarative- Semantics / I/-history |
| 資料番号 | COMP93-71 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1994/1/26(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 無限実行プロセスを生成するGHCプログラムに対するOR-Compositionalな意味論 |
| サブタイトル（和） | |
| タイトル（英） | An OR-Compositional Semantics of Guarded Horn Clauses for Programs with Perpetual Processes |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 並列論理型言語GHC / GHC |
| キーワード(2)（和/英） | OR-合成可能性 / OR-Compositionality |
| キーワード(3)（和/英） | 無限実行プロセス / Perpetual-process |
| キーワード(4)（和/英） | 宣言的意味論 / Declarative- Semantics |
| キーワード(5)（和/英） | 入出力履歴 / I/-history |
| 第 1 著者 氏名（和/英） | 加藤 暢 / Toru Kato |
| 第 1 著者 所属（和/英） | 岡山大学工学部 Department of Technology,Okayama University |
| 第 2 著者 氏名（和/英） | 村上 昌已 / Masaki Murakami |
| 第 2 著者 所属（和/英） | 岡山大学工学部 Department of Technology,Okayama University |
| 発表年月日 | 1994/1/26 |
| 資料番号 | COMP93-71 |
| 巻番号（vol） | vol.93 |
| 号番号（no） | 438 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |