Sökning: "algorithmic debugging"
Visar resultat 1 - 5 av 8 avhandlingar innehållade orden algorithmic debugging.
1. A transformational approach to debugging lazy functional programs
Sammanfattning : .... LÄS MER
2. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models
Sammanfattning : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER
3. Tracing and debugging lazy functional computations
Sammanfattning : .... LÄS MER
4. Declarative debugging for lazy functional languages
Sammanfattning : Lazy functional languages are declarative and allow the programmer to write programs where operational issues such as the evaluation order are left implicit. It is desirable to maintain a declarative view also during debugging so as to avoid burdening the programmer with operational details, for example concerning the actual evaluation order which tends to be difficult to follow. LÄS MER
5. Debugging techniques for equation-based languages
Sammanfattning : Mathematical modeling and simulation of complex physical systems is emerging as a key technology in engineering. Modern approaches to physical system simulation allow users to specify simulation models with the help of equation-based languages. LÄS MER