© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Observing functional logic computations
Bernd Brassel, Olaf Chitil, Michael Hanus, and Frank Huch
In B. Jayaraman, editor, Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04), LNCS 3057, pages 182-196. Springer, June 2004.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.
Download publication 116 kbytes (PDF)Bibtex Record
@inproceedings{1997, author = {Bernd Bra{ss}el and Olaf Chitil and Michael Hanus and Frank Huch}, title = {Observing Functional Logic Computations}, month = {June}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/1997}, publication_type = {inproceedings}, submission_id = {666_1099329584}, booktitle = {Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04)}, series = {LNCS 3057}, publisher = {Springer}, refereed = {yes}, ISBN = {3-540-22253-7}, editor = {B. Jayaraman}, }