• 検索結果がありません。

ドメイン特化型言語に対するエディタの自動生成手法

N/A
N/A
Protected

Academic year: 2021

シェア "ドメイン特化型言語に対するエディタの自動生成手法"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)情報処理学会論文誌. プログラミング. Vol. 1. No. 2. 124 (Sep. 2008). 発表概要. ドメイン特化型言語に対するエディタの自動生成手法 佐 々 木. 晃†1. 須 賀. 康. 行†1. 本発表では,プログラミングを支援する言語指向エディタの自動生成手法を提案す る.本研究で対象とする言語は,汎用プログラミング言語ではなく,特定の分野で使 われることに目的を特化した言語,ドメイン特化型言語である.このような言語の利 用者は必ずしもプログラミングの知識を持つわけではない.そこで,プログラミング 支援をする専用の言語指向エディタが不可欠となる.たとえば GUI によるウィザー ド形式でテンプレートに埋めながらプログラムを完成させるようなエディタが考えら れるが,そのような単純なものでも,開発では,言語仕様を満たすための緻密性が要 求される.したがって,自動生成による開発コスト削減,保守性の向上が望まれる. 汎用言語に対する言語指向エディタの自動生成は,インクリメンタル構文解析,属性 評価など関連する研究が古くからなされている.一方で,今回想定しているエディタ では,プログラマが編集するものはプログラムのテキストではない.そこで本研究で は,テキストの構文などを抽象化した抽象構文木を編集させるという視点を持ち,木 の文法(tree grammar)に基づいた仕様記述に基づいてエディタを生成する方法を とる.この方式では汎用言語における構文エラーは発生しない.一方で,言語要素の 型や静的意味チェックが必要となるが,これは属性文法に基づく手法を用いる.本発 表では,以上で述べた仕様記述やエディタ生成のアルゴリズムの詳細,本研究の評価 について実例を交えて示す.. such tools tends to be high. There are several studies on syntax-oriented editors for general purpose programming languages, such as incremental parsing and attribute evaluation techniques. On the other hand, in this study, it is not a program text that a programmer is to edit. Therefore, our approach to generating such tools is based on abstract syntax trees (ASTs) in which text structure is abstracted out. The method for checking of static semantics is based on the attribute grammar formulation. In this presentation, we will show the details of specification, generating algorithms, and evaluation with experiments.. (平成 20 年 3 月 17 日発表). A Method for Generating Program Editors for Domain Specific Languages Akira Sasaki†1 and Yasuyuki Suga†1 We propose a method for generating language-oriented editors. Target languages in this study are domain specific languages that are specialized to supporting tasks in specific domains. Primary users of such languages do not have programming skills. This means we should also offer a programming development tool with the language processor. These tools are expected to be generated from specifications, since the development and maintenance cost of. 124. †1 法政大学情報科学部 Faculty of Computer and Information Sciences, Hosei University. c 2008 Information Processing Society of Japan .

(2)

参照

関連したドキュメント

One-dimensional Gibbs measures, on the other hand, are fields determined by simultaneous conditioning on past and future.. For the Markovian and exponentially continuous cases

Methods suggested in this paper, due to specificity of problems solved, are less restric- tive than other methods for solving general convex quadratic programming problems, such

As application of our coarea inequality we answer this question in the case of real valued Lipschitz maps on the Heisenberg group (Theorem 3.11), considering the Q − 1

On the other hand, there are only a few works dedicated to equations modeling station- ary beam equations or Berger plate equation; that is, problems involving a function M depending

Double rotational surfaces are on the one hand studied as a continuation of the research on twisted surfaces in 3-space, see [4] and the references therein, and on the other hand

In this article, Temperley’s bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the

So that if this function V were known, it would only remain to eliminate H between the 3n+1 equations (C.) and (E.), in order to obtain all the 3n intermediate integrals, or

(4S) Package ID Vendor ID and packing list number (K) Transit ID Customer's purchase order number (P) Customer Prod ID Customer Part Number. (1P)