A Technique to Build Debugging Tools for Lazy Functional Logic Languages | Zendy

Bernd Braßel | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Technique to Build Debugging Tools for Lazy Functional Logic Languages

Author(s) -

Bernd Braßel

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.07.014

Subject(s) - debugger , computer science , programming language , debugging , functional programming , oracle , lazy evaluation , algorithmic program debugging , semantics (computer science) , logic programming

This paper is based on a recently developed technique to build debugging tools for lazy functional programming languages. With this technique it is possible to replay the execution of a lazy program with a strict semantics by recording information of unevaluated expressions. The recorded information is called an oracle and is very compact. Oracles contain the number of strict steps between discarding unevaluated expressions. The technique has already been successfully employed to construct a debugger for lazy functional languages.This paper extends the technique to include also lazy functional logic languages. A debugging tool built with the technique can be downloaded at www-ps.informatik.uni-kiel.de/~bbr

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research