Debugging and Structural Analysis of Declarative Equation-Based Languages
A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Linköpings universitet, PELAB - Laboratoriet för programmeringsomgivningar
2002
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5727 http://nbn-resolving.de/urn:isbn:9173733822 |