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

Summary, in English

Abstract in Undetermined
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.

• Author: David Broman; Peter Fritzson; Görel Hedin; Johan Åkesson
• Department/s: Department of Computer Science; Department of Automatic Control; ELLIIT: the Linköping-Lund initiative on IT and mobile communication; Software Development and Environments
• Publishing year: 2012
• Language: English
• Publication/Series: Proceedings of the ACM Symposium on Applied Computing, SAC 2012
• Document type: Conference paper
• Publisher: Association for Computing Machinery (ACM)
• Topic: Computer Science; Control Engineering
• Conference name: 2012 Symposium On Applied Computing
• Conference date: 2012-03-25
• Conference place: Riva del Garda (Trento), Italy
• Status: Published
• Project: ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems
• Research group: LCCC
• ISBN/ISSN/Other: ISBN: 978-1-4503-0857-1