Abstract | ||
---|---|---|
A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy) comprises a portable library plus a viewing tool. A programmer can observe data structures and functions by annotating expressions in his program. The possibly partial values of observed expressions that are computed during program execution are recorded in a trace file, including information on non-deterministic choices and logical variables. A separate viewing tool displays the trace content. COOSy covers all aspects of modern functional logic multiparadigm languages such as lazy evaluation, higher order functions, non-deterministic search, logical variables, concurrency and constraints. Both use and implementation of COOSy are described. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/978-3-540-24836-1_14 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
higher order functions,lazy evaluation,data structure | Programmer,Programming language,Expression (mathematics),Functional programming,Concurrency,Computer science,Lazy evaluation,Theoretical computer science,Logic programming,Declarative programming,Debugging | Conference |
Volume | ISSN | Citations |
3057 | 0302-9743 | 15 |
PageRank | References | Authors |
0.83 | 13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bernd Braßel | 1 | 181 | 12.47 |
Olaf Chitil | 2 | 154 | 16.36 |
Michael Hanus | 3 | 707 | 45.18 |
Frank Huch | 4 | 141 | 7.66 |