並行論理型言語におけるメタインタプリタの一構成法

• Item type: SIG Technical Reports(1)
• 公開日: 1992-05-29
• タイトル: 並行論理型言語におけるメタインタプリタの一構成法
• タイトル / 言語: en
• タイトル: Meta - interpreter Construction in a Concurrent Logic Language
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 岡山大学工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Engneering, Okayama University
• 著者名: 村上, 昌己
• 著者名(英): Masaki, Murakami
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では並行論理型言語NGHCのメタインタプリタの構成方法について述べる．このメタインタプリタは、NGHCで記述された応答型のプロセスを、応答型パラダイムにおける反射原理にもとづいて、解釈実行するものである．本稿の方法ではインタプリタにデータとして与えられるプログラム節を、起動中のプロセスの集まりを用いて表現している．これによってインタプリタは、データ化したプログラムを、複製を作ることなく並列にアクセスすることが可能となる．このメタインタプリタは、リアクティヴな動作をするプロセスの部分評価手法[Mur92]を用いることにより、コンパイルして実行することか可能となる．また応用として、セマンティクスや実行効率への影響を減らして、asseret/retract的な手法を用いたメタプログラミング手法を分散環境に取りいれることが可能となる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A meta-interpreter of concurrent logic language Nested Guarded Horn Clauses (NGHC) is presented without any extension for meta-facility. It carries out the computation of reactive processes based on the reflection principle of the reactive computation paradigm. A set of program clauses is represented with a number of active processes. It can be accessed from the interpreter in parallel without making copies of program clauses. The interpreter can be compiled with partial evaluation method for reactive concurrent processes[Mur92]. Applications such as meta-programming techniques using assert/retract like predicates without affecting the semantics and efficiency are mentioned.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1992, 号 44(1992-PRO-007), p. 25-32, 発行日 1992-05-29
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会