COOSy (Curry Object Observation System)
=======================================


A tool to observe the execution of programs written
in the declarative multi-paradigm language Curry

Details about COOSy and its implementation can be found in
this paper:

B. Brassel, O. Chitil, M. Hanus, F. Huch:
Observing Functional Logic Computations,
Proc. of the Sixth International Symposium on
Practical Aspects of Declarative Languages (PADL'04),
Springer LNCS 3057, pp. 193-208, 2004

-------------------------------------------------------------------------
Developed by

 * Bernd Brassel (CAU Kiel, Germany, bbr@informatik.uni-kiel.de)
 * Olaf Chitil   (University of Kent, UK, O.Chitil@kent.ac.uk)
 * Michael Hanus (CAU Kiel, Germany, mh@informatik.uni-kiel.de)
 * Frank Huch    (CAU Kiel, Germany, fhu@informatik.uni-kiel.de)


Version of April 25, 2017