DDT: a Declarative Debugging Tool for Functional-Logic Languages

Report on the programming language Haskell

Paul Hudak, Simon Peyton Jones, Philip Wadler et al. · ACM SIGPLAN Notices · 1992 · 1K citations · Full text

Computing, Computer Science, Combinatorics +6

An approach to declarative programming based on a rewriting logic

Juan Carlos González Moreno, M.Teresa Hortalá-González, Francisco J. López-Fraguas et al. · The Journal of Logic Programming · 1999 · 190 citations

Computing, Computer Science, Formal Methods +10

Curry: An Integrated Functional Logic Language

Michael Hanus, Sergio Antoy, Herbert Kuchen et al. · 2003 · 135 citations

Computing, Computer Science, Logic +15

Declarative error diagnosis

John W. Lloyd · New Generation Computing · 1987 · 116 citations

A Declarative Debugging Scheme.

Lee Naish · 1997 · 112 citations

Computing, Computer Science, Software Engineering +4