Title: Hierarchical Semantics of Modelica
Authors: Christoph Höger
Abstract: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.
Links: Full paper