Declarative debugging for lazy functional languages (1998)

View PDF

Download Links

by Henrik Nilsson
Citations:97 - 7 self

Documents Related by Co-Citation

492 Algorithmic Program Debugging – E Y Shapiro - 1982
1371 Program Slicing – Mark Weiser - 1984
1353 Monads for functional programming – Philip Wadler - 1995
561 The implementation of functional programming languages – S L Peyton Jones - 1987
698 Diagnosing multiple faults – J de Kleer, B C Williams - 1987
947 A Theory of Diagnosis from First Principles – Raymond Reiter - 1987
1921 Foundations of Logic Programming – J Lloyd - 1987
1372 Symbolic Model Checking – K L McMillan - 1993
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002