A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
A Debugging Scheme for Declarative Equation Based Modeling Languages
[chapter]
2001
Lecture Notes in Computer Science
This paper concerns the static analysis for debugging purposes of programs written in declarative equation based modeling languages. We first give an introduction to declarative equation based languages and the consequences equation based programming has for debugging. At the same time, we examine the particular debugging problems posed by Modelica, a declarative equation based modeling language. A brief overview of the Modelica language is also given. We also present our view of the issues and
doi:10.1007/3-540-45587-6_18
fatcat:xsspad35jrdx3im6nbz4gi5veq