講演名 | 1998/9/22 書き換え理論に基づく有機的プログラミング言語GAEAの意味 石川 洋, 二木 厚吉, 渡部 卓雄, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 並行システムの動作の詳細を把握するのは一般的には困難である.本研究では, 並行システムの例として有機的プログラミング言語GAEAをとりあげる.本言語は有機的プログラミングと呼ばれる新しいソフトウェア構築方法論に基づいておりプログラムの動的変更や並行処理が可能である.この言語はPrologを基礎としてるので並列論理型プログラミング言語と考えることができる.そこで本言語は並行システムとみなし, そのシステムの計算状態や動作の明示的な記述を試みている.その記述は状態を持つ並行システムの動的変化が表現可能な書き換え論理を用いて与えている. |
抄録(英) | This paper presents a formal specification in rewriting logic of a representative subset of GAEA, in the Prolog traditional with novel features for reflection and concurrency, based on a new software methodology called organic programming. The syntax and the semantics of GAEA were designed to be a superset of Prolog. However, there are many extra features for manipulating cell structures, multi-threading of processes, cell variables for thread communication, and so on. Thanks of those new features, we can easily construct and execute concurrent reflective systems. |
キーワード(和) | 書き換え理論 / 操作的意味 / 有機的プログラミング言語GAEA |
キーワード(英) | Rewriting Logic / Operational Semantics / Organic Programming Language GAEA |
資料番号 | SS98-29 |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 1998/9/22(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 書き換え理論に基づく有機的プログラミング言語GAEAの意味 |
サブタイトル(和) | |
タイトル(英) | An Operational Semantics of GAEA in Rewriting Logic |
サブタイトル(和) | |
キーワード(1)(和/英) | 書き換え理論 / Rewriting Logic |
キーワード(2)(和/英) | 操作的意味 / Operational Semantics |
キーワード(3)(和/英) | 有機的プログラミング言語GAEA / Organic Programming Language GAEA |
第 1 著者 氏名(和/英) | 石川 洋 / Hiroshi ISHIKAWA |
第 1 著者 所属(和/英) | 福山大学工学部情報処理工学科 Information Process Engineering, Fukuyama University |
第 2 著者 氏名(和/英) | 二木 厚吉 / Kokichi FUTATSUGI |
第 2 著者 所属(和/英) | 北陸先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, JAIST |
第 3 著者 氏名(和/英) | 渡部 卓雄 / Takuo WATANABE |
第 3 著者 所属(和/英) | 北陸先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, JAIST |
発表年月日 | 1998/9/22 |
資料番号 | SS98-29 |
巻番号(vol) | vol.98 |
号番号(no) | 295 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |