Paper Info
Title
Declarative Debugging Meets the World
Abstract
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.
Year
DOI
Venue
2008
10.1016/j.entcs.2008.06.034
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
additional support,special support,declarative debugging,program transformation,modified program transformation,operational semantics,declarative programming language,monadic i/o,declarative debuggers,functional logic language,declarative semantics,declarative programming
Fifth-generation programming language,Operational semantics,Programming language,Program transformation,Computer science,Theoretical computer science,Compiler,Declarative programming,Algorithmic program debugging,Runtime system,Debugging
Journal
Volume
ISSN
Citations 
216,
Electronic Notes in Theoretical Computer Science
0
PageRank 
References 
Authors
0.34
6
1
Name
Order
Citations
PageRank
Wolfgang Lux1626.02