Operational Semantics for a Modular Equation Language
Christoph Höger · Linköping electronic conference proceedings · 2013
Current equation-based object-oriented modeling languages offer great means for composition of models and source code reuse.Composition is limited to the source level, though: There is currently no way to compose precompiled model fragments.In this work we present t (n,p) , a language which aims to overcome this deficiency.By using automatic differentiation directly in the language semantics, t (n,p) offers the ability to implement index-reduction and causalisation of equation-terms without knowing their source-level representation.The semantics of t (n,p) allow for calculation of arbitrary-order partial and total derivatives of pre-compiled terms.