Dear Colleagues,
I'd like to inform you that CIDER, a graphical programming and
development environment for Curry is available at
http://www.informatik.uni-kiel.de/~pakcs/cider/
CIDER is intended as a platform to integrate various
tools for analyzing and debugging Curry programs.
Currently, it consists of a program editor, various tools for
analyzing properties of functions in Curry programs (types,
overlapping definitions, complete definitions, dependencies etc),
a graphical debugger, i.e., a visualization of the evaluation
of expressions, and a tool for drawing dependency graphs.
CIDER is completely implemented in Curry and uses the GUI library
and the FlatCurry library for meta-programming provided with PAKCS.
Even if you do not want to use it directly, it might be interesting
to look at CIDER since
- CIDER provides a connection to the graph visualization tool daVinci
(which is useful if you want visualize directed graphs in Curry)
- CIDER provides a module containing a meta-interpreter for executing
FlatCurry programs in Curry
(which could be also used in other contexts)
- CIDER is a case study to show the implementation of larger
applications with Curry. In particular, it uses the features
for distributed programming to organize the coordination of
the different units in this application.
To get a quick impression about CIDER, just look at the web page.
Merry Christmas and a Happy New Year!
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Dez 22 2000 - 10:57:56 CET