Projekt per år
Sammanfattning
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.
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.
Originalspråk | engelska |
---|---|
Titel på värdpublikation | Proceedings of the ACM Symposium on Applied Computing, SAC 2012 |
Förlag | Association for Computing Machinery (ACM) |
ISBN (tryckt) | 978-1-4503-0857-1 |
Status | Published - 2012 |
Evenemang | 2012 Symposium On Applied Computing - Riva del Garda (Trento), Italien Varaktighet: 2012 mars 25 → … |
Konferens
Konferens | 2012 Symposium On Applied Computing |
---|---|
Land/Territorium | Italien |
Ort | Riva del Garda (Trento) |
Period | 2012/03/25 → … |
Bibliografisk information
key=brom_etal2012sacproject=langopt,LCCC-modeling
Ämnesklassifikation (UKÄ)
- Datavetenskap (Datalogi)
- Reglerteknik
Fingeravtryck
Utforska forskningsämnen för ”A comparison of two metacompilation approaches to implementing a complex domain-specific language”. Tillsammans bildar de ett unikt fingeravtryck.Projekt
- 1 Avslutade
-
ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems
Hedin, G. (PI), Fors, N. (Forskare) & Öqvist, J. (Forskare)
2016/01/01 → 2020/12/31
Projekt: Forskning