Uploaded at Apr 1 11:58:10 2020 (UTC)
Succesfully tested at Feb 16 04:03:44 2023

Curry Package coosy

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