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
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:
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:

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