コンパイラの代数的仕様記述法

• Item type: SIG Technical Reports(1)
• 公開日: 1986-07-03
• タイトル: コンパイラの代数的仕様記述法
• タイトル / 言語: en
• タイトル: An Algebraic Specification Method of Compilers
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学工学部／三重大学工学部
• 著者所属: 名古屋大学工学部／三重大学工学部
• 著者所属: 名古屋大学工学部／三重大学工学部
• 著者所属: 名古屋大学工学部／三重大学工学部
• 著者所属(英): en
• 著者所属(英): Nagoya University/Mie University
• 著者所属(英): en
• 著者所属(英): Nagoya University/Mie University
• 著者所属(英): en
• 著者所属(英): Nagoya University/Mie University
• 著者所属(英): en
• 著者所属(英): Nagoya University/Mie University
• 著者名: 酒井, 正彦; 北, 英彦; 坂部, 俊樹; 稲垣, 康善
• 著者名(英): Masahiko, Sakai; Hidehiko, Kita; Toshiki, Sakabe; Yasuyoshi, Inagaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，コンパイラの代数的仕様記述法を提案し，その記述例としてPL／Oコンパイラの仕様記述を与える．本記述法では，コンパイラをソース言語の構文領域からターゲット言語の構文領域への関数とみなし，これを二つの構文領域に対して，コンパイリング関数，補助領域，補助関数を加えて拡張した抽象データ型として等式を用いて記述する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose an algebraic specification method of compilers, and give a specification of PL/O compiler as an example. The basic idea of this method is as follows : A compiler is regarded as the function from the syntactic domain of source language to that of target language. The compiler is specified by using equations as an abstract data type which is the two syntactic domains enriched with the compiling function, auxiliary domains and auxiliary functions.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1986, 号 39(1986-PRO-017), p. 65-70, 発行日 1986-07-03
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会