Hierarchical Semantics of Modelica
Christoph Höger · Linköping electronic conference proceedings · 2017
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 semanticspreserving translation to a basic λ -calculus.