条件付き項書換え系に基づく言語におけるメタ計算

• Item type: Journal(1)
• 公開日: 1998-11-15
• タイトル: 条件付き項書換え系に基づく言語におけるメタ計算
• タイトル / 言語: en
• タイトル: Meta -computation in a Conditional Term Rewriting System- based Language
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 基礎理論
• 著者所属: 北海道大学大学院工学研究科システム情報工学専攻
• 著者所属: 北海道工業大学工学部電気工学科
• 著者所属: 北海道大学大学院工学研究科システム情報工学専攻
• 著者所属(英): en
• 著者所属(英): Division of Systems and Information Engineering, Graduate School of Engineering, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, Faculty of Engineering, Hokkaido Institute of Technology
• 著者所属(英): en
• 著者所属(英): Division of Systems and Information Engineering, Graduate School of Engineering, Hokkaido University
• 著者名: 沼澤, 政信; 栗原, 正仁; 大内, 東
• 著者名(英): Masanobu, Numazawa; Masahito, Kurihara; Azuma, Ohuchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 最近，プログラミング言語としての項書換え系に自己反映計算機能を付加した言語的枠組みとして，REPS (Reflective Equational Programming System）が提案された．本論文では，REPSを基礎として，それを条件付き項書換え系（CTRS）に拡張した言語CREPSを提案し，その処理系の実装と応用について述べる．はじめに，REPSの計算モデルをそのまま用いることによりメタ計算機能を持つCTRSを実現する場合に起きる問題点を指摘し，それを解決するためにCTRS仮想簡約マシンと呼ぶスタックマシンを導入する．次に，このマシンの計算を計算状態の集合上の簡約関係によって定義し，ベースレベルにおける言語の操作的意味を与える．さらに，このマシンに（ベースレベルとメタレベルでオブジェクトをやりとりする）メタ計算機能を付加することにより言語を拡張する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Recently,a reflective programming language,called REPS,has been proposed as a basic reflective framework on top of term rewriting model of computation.In this paper,we extend REPS to a new model CREPS,which makes it possible to perform meta-computation while conditional rewriting.First,we discuss a problem with REPS when trying to straight-forwardly extend it for conditional rewriting,and to solve this problem,introduce a stack machine called the CTRS virtual reduction machine.Then,we give an operational semantics of the basic CREPS in terms of a reduction relation on the set of computational states of the machine.Finally,we extend the language to full CREPS,by adding to the machine some meta-computational mechanisms in which computational objects are transformed from base-level to meta-level,and vice versa.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 39, 号 11, p. 3035-3043, 発行日 1998-11-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764