Article | Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017 | Hierarchical Semantics of Modelica
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:
No references available

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
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21