A Declarative Debugging System for Lazy Functional Logic Programs
Work
Year: 2002
Type: article
Abstract: We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a 0computed answer is considered wrong by the user (error symptom), the debugger locates... more
Institution Universidad Complutense de Madrid
Cites: 28
Cited by: 30
Related to: 10
FWCI: 5.796
Citation percentile (by year/subfield): 87.8
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold