Christoph Höger
Institute of Software Engineering and Theoretical Computer Science, Technische Universität Berlin, Germany
Download article
http://dx.doi.org/10.3384/ecp17132703Published in: Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, May 15-17, 2017
Linköping Electronic Conference Proceedings 132:77, p. 703-712
Published: 2017-07-04
ISBN: 978-91-7685-575-1
ISSN: 1650-3686 (print), 1650-3740 (online)
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.
Aldrich, Jonathan and Kevin Donnelly (2004). “Selective open recursion: Modular reasoning about components and inheritance”. In: SAVCBS 2004 Specification and Verification of Component-Based Systems, p. 26.
Höger, Christoph (2016). “Modeling with monads: extensible modeling semantics as syntactic sugar”. In: Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. ACM, pp. 15–24.
Kågedal, David (1998). “A Natural Semantics specification for the equation-based modeling language Modelica”. In: LiTH-IDA-Ex-98/48, Linköping University, Sweden. Kahn, Gilles (1987). “Natural semantics”. In: Annual Symposium on Theoretical Aspects of Computer Science. Springer, pp. 22–39.
Pepper, Peter and Petra Hofstedt (2006). Funktionale Programmierung – Sprachdesign und Programmiertechnik. Springer.
Pierce, Benjamin C., ed. (2005). Advanced Topis in Types and Programming Languages. MIT Press.
Satabin, Lucas et al. (2015). “Towards a formalized Modelica subset”. In: Proceedings of the 11th International Modelica Conference, Versailles, France, September 21-23, 2015. 118. Linköping University Electronic Press, pp. 637–646.
