Sökning: "algorithmic debugging"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden algorithmic debugging.

  1. 1. A transformational approach to debugging lazy functional programs

    Författare :Jan Sparud; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; tracing; lazy functional languages; declarative languages; algorithmic debugging;

    Sammanfattning : .... LÄS MER

  3. 2. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

    Författare :Martin Sjölund; Peter Fritzson; Christoph Kessler; Walid Mohamed Taha; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Simulation; modeling; debugging; profiling; optimization; parallelism; Modelica;

    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

  4. 3. Tracing and debugging lazy functional computations

    Författare :Jan Sparud; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; algorithmic de-bugging; Redex trails; programming languages;

    Sammanfattning : .... LÄS MER

  5. 4. Declarative debugging for lazy functional languages

    Författare :Henrik Nilsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    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

  7. 5. Debugging techniques for equation-based languages

    Författare :Peter Bunus; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    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