Application of Graph Decomposition Techniques to Debugging Declarative Equation Based Languages

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 lang ...