Debugging symbolic transformations in equation systems
2011 (English)In: Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Linköping University Electronic Press , 2011, 67-74 p.Conference paper (Refereed)
How do you debug application models in an equation-based object-oriented (EOO) programming language? Compilers for these tools tend to optimize the model so heavily that it is hard to tell the origin of an equation during runtime. This work proposes and implements a prototype of a method that is efficient, yet manages to keep track of all the transformations/operations that the compiler performs on the model. The method also considers the ability to collapse certain operations so that they appear to the user as a single expandable operation. Using such a method enables makers of compilers for EOO programming languages to create debugging tools that contain sufficiently detailed information while still being appealing to the user as they minimize duplicate information.
Place, publisher, year, edition, pages
Linköping University Electronic Press , 2011. 67-74 p.
, Linköping Electronic Conference Proceedings, ISSN 1650-3686
Compilation; Debugging; Modelica; Modeling; Simulation
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-100706ISBN: 978-91-7519-825-5OAI: oai:DiVA.org:liu-100706DiVA: diva2:664334
4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011