Loading...
Please wait, while we are loading the content...
Similar Documents
A Technique to build Debugging Tools for Lazy Functional Logic Languages (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Braßel, Bernd |
| Description | This paper is based on a recently developed technique to build debugging tools for lazy functional pro-gramming languages. With this technique it is possible to replay the execution of a lazy program with a strict semantics by recording information of unevaluated expressions. The recorded information is called an oracle and is very compact. Oracles contain the number of strict steps between discarding unevaluated ex-pressions. The technique has already been successfully employed to construct a debugger for lazy functional languages. This paper extends the technique to include also lazy functional logic languages. A debugging tool built with the technique can be downloaded at www-ps.informatik.uni-kiel.de/~bbr. 1 |
| File Format | |
| Language | English |
| Publisher Date | 2008-01-01 |
| Publisher Institution | Proceedings of the 17th Workshop on Functional and (Constraint) Logic Programming (WFLP 2008 |
| Access Restriction | Open |
| Subject Keyword | Debugging Tool Strict Step Strict Semantics Lazy Functional Pro-gramming Language Unevaluated Ex-pressions Lazy Program Recorded Information Lazy Functional Language Lazy Functional Logic Language Unevaluated Expression |
| Content Type | Text |
| Resource Type | Article |
