Declarative Debugging Meets the World | Zendy

Wolfgang Lux | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Declarative Debugging Meets the World

Author(s) -

Wolfgang Lux

Publication year - 2008

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

Subject(s) - programming language , computer science , debugging , declarative programming , semantics (computer science) , compiler , algorithmic program debugging , program transformation , functional programming , transformation (genetics) , fifth generation programming language , programming paradigm , inductive programming , chemistry , biochemistry , gene

Declarative debugging has been proposed as a suitable technique for diagnosing errors. It is particularly attractive for declarative programming languages, whose operational semantics differs substantially from their declarative semantics. Declarative debuggers are usually described and implemented by means of a program transformation. However, this transformation does not mix well with monadic I/O, which is used by lazy functional and functional logic languages. Therefore, declarative debuggers for such languages either do not support debugging of programs involving stateful computations at all, or require special support from the compiler and its runtime system. In this paper, we present a modified program transformation that blends nicely with monadic I/O and therefore covers the whole language without additional support from the target implementation

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