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

Download

Checkout with CPM:

cypm checkout coosy 2.0.0

Package source:

coosy-2.0.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/coosy.git