|Fulltext||0.72 MB||PDF (requires Acrobat Reader)||Previous | Next|
|Authors:||Martin Sjölund: Department of Computer and Information Science, Linköping University, Sweden|
|Peter Fritzson: Department of Computer and Information Science, Linköping University, Sweden|
|Publication title:||Debugging Symbolic Transformations in Equation Systems|
|Conference:||Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011|
|Publication type:||Abstract and Fulltext|
|Abstract:||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.
|Keywords:||Debugging; modeling; simulation; compilation; Modelica|
|No. of pages:||8|
|Series:||Linköping Electronic Conference Proceedings|
|Publisher:||Linköping University Electronic Press; Linköpings universitet|
|REFERENCE TO THIS PAGE |