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

David Broman; Peter Fritzson; Görel Hedin; Johan Åkesson

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

David Broman, Peter Fritzson, Görel Hedin, Johan Åkesson

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings of the ACM Symposium on Applied Computing, SAC 2012
Publisher	Association for Computing Machinery (ACM)
ISBN (Print)	978-1-4503-0857-1
Publication status	Published - 2012
Event	2012 Symposium On Applied Computing - Riva del Garda (Trento), Italy Duration: 2012 Mar 25 → …

Conference

Conference	2012 Symposium On Applied Computing
Country/Territory	Italy
City	Riva del Garda (Trento)
Period	2012/03/25 → …

Bibliographical note

key=brom_etal2012sac
project=langopt,LCCC-modeling

Subject classification (UKÄ)

Computer Sciences
Control Engineering

ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems
Hedin, G. (PI), Fors, N. (Researcher) & Öqvist, J. (Researcher)
2016/01/01 → 2020/12/31
Project: Research

Cite this

@inproceedings{98cd980e1fb840a9a24aa74ed55a9f65,

title = "A comparison of two metacompilation approaches to implementing a complex domain-specific language",

abstract = "Abstract in UndeterminedOperational 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 and Peter Fritzson and G{\"o}rel Hedin and Johan {\AA}kesson",

note = "key=brom_etal2012sac project=langopt,LCCC-modeling; 2012 Symposium On Applied Computing ; Conference date: 25-03-2012",

year = "2012",

language = "English",

isbn = "978-1-4503-0857-1",

booktitle = "Proceedings of the ACM Symposium on Applied Computing, SAC 2012",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

}

A comparison of two metacompilation approaches to implementing a complex domain-specific language. / Broman, David; Fritzson, Peter; Hedin, Görel et al.
Proceedings of the ACM Symposium on Applied Computing, SAC 2012. Association for Computing Machinery (ACM), 2012.

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

TY - GEN

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

AU - Broman, David

AU - Fritzson, Peter

AU - Hedin, Görel

AU - Åkesson, Johan

N1 - key=brom_etal2012sac project=langopt,LCCC-modeling

PY - 2012

Y1 - 2012

N2 - Abstract in UndeterminedOperational 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.

AB - Abstract in UndeterminedOperational 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.

M3 - Paper in conference proceeding

SN - 978-1-4503-0857-1

BT - Proceedings of the ACM Symposium on Applied Computing, SAC 2012

PB - Association for Computing Machinery (ACM)

T2 - 2012 Symposium On Applied Computing

Y2 - 25 March 2012

ER -

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

Abstract

Conference

Bibliographical note

Subject classification (UKÄ)

Fingerprint

Projects

ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems

Cite this