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