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:
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
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

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