A comparison of two metacompilation approaches to implementing a complex domain-specific language

Authors:
David Broman;Peter Fritzson;Görel Hedin;Johan Åkesson
Affiliations:
Linköping University, Sweden;Linköping University, Sweden;Lund University, Sweden;Lund University, Sweden
Venue:
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Year:
2012

Citing 6
Cited 0

Natural semantics

4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Higher order attribute grammars

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Compiling Natural Semantics

Compiling Natural Semantics
JastAdd: an aspect-oriented compiler construction system

Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
When and how to develop domain-specific languages

ACM Computing Surveys (CSUR)
Implementation of a Modelica compiler using JastAdd attribute grammars

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Operational semantics and attribute grammars are examples of formalisms that can be used for generating compilers. We are interested in finding similarities and differences in how these approaches are applied to complex languages, and for generating compilers of such maturity that they have users in industry. As a specific case, we present a comparative analysis of two compilers for Modelica, a language for physical modeling, and which contains numerous compilation challenges. The two compilers are OpenModelica, which is based on big-step operational semantics, and JModelica.org, which is based on reference attribute grammars.