Affiliation:
1. Institut für Informatik, Technische Université, D-8000 München 2, Fed. Rep. of Germany
2. Faohbereich 10 Informatik, Universität des Saarlandes, D-6600 Saarbracken, Fed. Rep. of Germany
Abstract
This paper describes semantic processing in the compiler generating system MUG2. MUG2 accepts high-level descriptions of the semantics of a programming language including full runtime semantics, data flow analysis, and optimizing transformations. This distinguishes MUG2 from systems such as YACC [Joh75], HLP [HLP78], PQCC [PQC79], or its own former version [GRW77] with respect to expressive power and convenience. In this respect, MUG2 comes close to semantics-directed systems such as [Mos76], [JoS80], [Set81], [Pau82]. In contrast to these, MUG2 is not a universal translator system where program independent semantic properties have to be evaluated at compilation time. The description concepts of MUG2 allow a far reaching separation of language vs. program dependent semantics, thus constituting a truly generative approach to
semantics-directed
compiler generation.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference35 articles.
1. Babich W.A. Jazayeri M.: The method of attributes for data flow analyis part I: Exhaustive analysis. Acta informatica 10 (1978) 245-264. Babich W.A. Jazayeri M.: The method of attributes for data flow analyis part I: Exhaustive analysis. Acta informatica 10 (1978) 245-264.
2. Semantic evaluation from left to right
3. Systematic design of program analysis frameworks
4. Automatic generation of near-optimal linear-time translators for non-circular attribute grammars
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献