School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014