http://www-ps.informatik.uni-kiel.de/currywiki/ Sat, 21 Nov 2009 03:37:51 +0100 FeedCreator 1.7.2-ppt DokuWiki http://www-ps.informatik.uni-kiel.de/currywiki/lib/images/favicon.ico http://www-ps.informatik.uni-kiel.de/currywiki/ http://www-ps.informatik.uni-kiel.de/currywiki/tools/currybrowser?rev=1210768626 CurryBrowser is a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, various properties of functions defined in this module can be analyzed. Wed, 14 May 2008 14:37:06 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/currydoc?rev=1210766544 CurryDoc : A Documentation Tool for Declarative Programs Michael Hanus Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR, Università degli Studi di Udine, pp. 225-228, 2002 Wed, 14 May 2008 14:02:24 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/currytest?rev=1210768487 CurryTest is a simple tool in the PAKCS distribution to write and run repeatable unit tests. CurryTest simplifies the task of writing test cases for a module and executing them. The tool is easy to use and comes with a graphical interface that summarizes the results of all test. More details are described in the user manual of PAKCS . Wed, 14 May 2008 14:34:47 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/cycotest?rev=1207137880 Wed, 02 Apr 2008 14:04:40 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/cytest?rev=1207138045 CyTest is dead - long live CyCoTest - The Curry Coverage Tester! information on this page is deprecated. CyTest CyTest is a tool for the systematic generation of glass-box test cases for Curry programs. It is based on the ideas described in this paper. Wed, 02 Apr 2008 14:07:25 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/easycheck?rev=1205497616 EasyCheck is a library for automated, specification-based testing of Curry programs. It is distributed with the Curry implementation KiCS. The ideas behind EasyCheck are described in this paper. This is a tutorial introduction that explains in detail how to use EasyCheck. Fri, 14 Mar 2008 13:26:56 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/icode?rev=1221140300 Interactive Curry Observation DEbugger (iCODE) is a tool to support programmers stepping on the lazy evaluation order of expressions at the source code level. Every executed expression is covered in a layout of the source code and its runtime value can be represented to the user. Thu, 11 Sep 2008 15:38:20 +0100 http://www-ps.informatik.uni-kiel.de/currywiki/tools/oracle_debugger?rev=1210842421 B.I.O. means “Believe In Oracles”, which is a pun regarding the underlying technique. This technique is described in the paper soon to be uploaded here. B.I.O. is available in different form in PAKCS and KiCS. Usage in KiCS Getting the Sources Up to now the sources are only available from the master branch of my git repository ~bbr/kics. The debugger is in the alpha test phase only. Thu, 15 May 2008 11:07:01 +0100