Article | Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017 | Hierarchical Semantics of Modelica Linköping University Electronic Press Conference Proceedings
Göm menyn

Title:
Hierarchical Semantics of Modelica
Author:
Christoph Höger: Institute of Software Engineering and Theoretical Computer Science, Technische Universität Berlin, Germany
DOI:
10.3384/ecp17132703
Download:
Full text (pdf)
Year:
2017
Conference:
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017
Issue:
132
Article no.:
077
Pages:
703-712
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2017-07-04
ISBN:
978-91-7685-575-1
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press, Linköpings universitet


Export in BibTex, RIS or text

We present a definition of syntax and semantics for Modelica’s hierarchical lookup. By using a context-independent encoding of the static semantics of free variables, it becomes possible to define the evaluation of references within a calculus based on substitution. Hence, all steps of evaluation have a concrete syntactic representation. We augment the calculus with a terminating evaluation and a semantics-preserving translation to a basic \(\lambda\)-calculus.

Keywords: Semantics, Classes, Compilation

Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017

Author:
Christoph Höger
Title:
Hierarchical Semantics of Modelica
DOI:
http://dx.doi.org/10.3384/ecp17132703
References:

Aldrich, Jonathan and Kevin Donnelly (2004). “Selective open recursion: Modular reasoning about components and inheritance”. In: SAVCBS 2004 Specification and Verification of Component-Based Systems, p. 26.

Höger, Christoph (2016). “Modeling with monads: extensible modeling semantics as syntactic sugar”. In: Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. ACM, pp. 15–24.

Kågedal, David (1998). “A Natural Semantics specification for the equation-based modeling language Modelica”. In: LiTH-IDA-Ex-98/48, Linköping University, Sweden. Kahn, Gilles (1987). “Natural semantics”. In: Annual Symposium on Theoretical Aspects of Computer Science. Springer, pp. 22–39.

Pepper, Peter and Petra Hofstedt (2006). Funktionale Programmierung – Sprachdesign und Programmiertechnik. Springer.

Pierce, Benjamin C., ed. (2005). Advanced Topis in Types and Programming Languages. MIT Press.

Satabin, Lucas et al. (2015). “Towards a formalized Modelica subset”. In: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015. 118. Linköping University Electronic Press, pp. 637–646.

Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017

Author:
Christoph Höger
Title:
Hierarchical Semantics of Modelica
DOI:
https://doi.org10.3384/ecp17132703
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2019-11-06