74 search results - page 1 / 15 » A Declarative Debugging System for Lazy Functional Logic Pro... |
ENTCS
2002
13 years 4 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
WCFLP
2005
ACM
13 years 10 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
FROCOS
2000
Springer
13 years 8 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
FLOPS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...