コンパイラの代数的仕様記述とその自動生成

• Item type: SIG Technical Reports(1)
• 公開日: 1986-10-17
• タイトル: コンパイラの代数的仕様記述とその自動生成
• タイトル / 言語: en
• タイトル: An Algebraic Specification Method of Compilers and Their Automatic Generation
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学工学部
• 著者所属: 三重大学工学部
• 著者所属: 名古屋大学工学部
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, School of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): School of Engineering, Mie University
• 著者所属(英): en
• 著者所属(英): Department of Electrical Engineering, School of Engineering, Nagoya University
• 著者名: 酒井, 正彦; 坂部, 俊樹; 稲垣, 康善
• 著者名(英): Masahiko, Sakai; Toshiki, Sakabe; Yasuyoshi, Inagaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々が提案したコンパイラの代数的仕様記述法は，コンパイラをソース言語の構文領域からターゲット言語の構文領域への関数とみなし，これらの二つの構文領域にコンパイリング関数，補助領域，補助関数を加えて拡張した抽象データ型として等式を用いて記述する方法である．本論文では，この記述法に基づいて設計したコンパイラの仕様記述言語および現在作成中のコンパイラ自動生成系の基本概念および概要について述べる．このコンパイラ生成系は，Unix上のツールであるLexとYacc，および，抽象データ型直接実現システムCdimpleの三つのツールと，仕様記述言語で書かれたコンパイラの仕様を各々のツールの入力に変換するためのプリプロセッサから構成されている．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We have already proposed an algebraic specification method of compilers. In this method, we regard a compiler as the function from the syntactic domain of source language to that of target language and specify it by using equations as an abstract data type which is the two syntactic domains enriched with the compiling function, auxiliary domains and auxiliary functions. In this paper, we propose the specification language based on the specification method and explain the basic concept and the outline of the automatic compiler generator which we are constructing. The compiler generator consists of three tools (Lex and Yacc which are tools of Unix, Cdimple which is a difect implementation system of abstract data types) and the preproccessor used for translating to the respective inputs of these three tools from the specification written in our specification language.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1986, 号 69(1986-PRO-008), p. 1-9, 発行日 1986-10-17
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会