IIR: an Identifier-based Intermediate Representation To Support Declarative Compiler Specifications
スポンサーリンク
概要
- 論文の詳細を見る
For compiler developers, one big issue is how to describe a specification of its intermediate representation (IR), which consists of various entities like symbol tables, syntax trees, analysis information and so on. As IR is a central data structure of a compiler, its precise specification is always strongly desired. However, the formalization of an actual IR is not an easy task since it tends to be large, has complex interdependency between its entities, and depends on a specific implementation language. In this paper, as a first step to solve this problem, we propose a new data model for IR, called IIR. The goal of IIR is to describe a specification of IR declaratively without depending on its concrete implementation detail. The main idea is to model all entities of IR as relations with explicit identifiers. By this, we can develop an IR model transliterally from an actual IR, and describe its specification by using the full expressiveness of conventional logic languages. The specification is inherently executable and can be used to check the validity of IR in compile time. As a practical case study, we formalized an IR of our production compiler in IIR, and developed a type system for it in Prolog. Experimental results about size and performance are shown.
論文 | ランダム
- CA および赤色発光ダイオード弱光照射が低音貯蔵中のトマト接ぎ木セル成型苗の外観品質に及ぼす影響
- 収穫後チャービルの低温貯蔵に対する弱光照射用光源としての赤色発光ダイオードおよび養液ゲル利用による無機養分供給の有効性
- 電気分解強酸性水噴霧による作物病害防除に関する基礎研究 (2)キュウリベと病の発病抑制と生理障害の発生
- CA, 赤色発光ダイオード弱光照射および養液ゲル利用が低温貯蔵中のチャービルの外観品質に及ぼす影響 -緑色植物体の弱光照射CA貯蔵法の提案-
- 第327回東京医科大学臨床懇話会 HIV感染症を合併した血友病Aインヒビター保有患者において、右側胸水貯留にて発症し、診断・治療に苦慮したSLEの一例