コンパイラコンパイラ

コンパイラコンパイラの最新ニュースをまとめて検索！

コンパイラコンパイラ（compiler compiler）は、コンパイラを作成するコンパイラである。

[編集] 概要

コンピュータのプログラムにおいて、あるプログラム言語で書かれたソースコードをオブジェクトファイルなどに変換するものをコンパイラというが、その開発には技術と手間とを要する。それを支援するために入力する言語の文法と出力形式などの定義情報からコンパイラそのものを全面あるいは部分的に自動生成するものとしてコンパイラコンパイラが開発されている。

代表的なものに、yacc（yet another compiler compiler）がありUNIXに標準ツールとして付属している。 なおyaccは定義された言語の文法の構文解析を行うプログラムを生成するのが主体でオブジェクトへの変換など後の処理は別途作成の労力を必要とする。 yaccの上位互換のものとしてGNUのbisonというものもある。

[編集] 実装

• LL法
  • ANTLR [1]、PCCTS
  • JavaCC [2]
  • Coco/R [3]
  • SLK
  • Spirit Parser Framework - LL(∞)構文解析器生成フレームワークであり、文法は C++ のプログラム内にインラインで書かれる。
  • JetPAG - 最適化 LL(k)構文解析器生成ツール
  • Parsec - Haskell 向けライブラリ
  • Ocaml Genlex Module
  • JFLAP - LL(1)構文解析の教育用ツール
• LR法
  • bison
  • yacc
  • caper
  • kmyacc - 多言語対応LALRパーサー生成系
  • CUP - LALR Parser Generator in Java
  • SableCC [4]
  • JS/CC - The LALR(1) parser and lexical analyzer generator for JavaScript, written in JavaScript

[編集] 参考文献

• P．レッヒェンベルク、H．メッセンベック共著、玉井浩　訳『マイクロコンピュータのための「コンパイラ・コンパイラ」―コンパイラ自動生成にむけて』〈Information & Computing 52〉サイエンス社1991年　ISBN 978-4-7819-0607-2

この「コンパイラコンパイラ」は、ソフトウェアに関連した書きかけ項目です。この記事を加筆・訂正して下さる協力者を求めています（Portal:コンピュータ） 。