http://www-ps.informatik.uni-kiel.de/currywiki/ Wed, 19 Jun 2013 23:49:51 +0200 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/documentation/try_curry?rev=1362563384&do=diff If you want to try programming with Curry, you can use one of the implementations that are freely available. If you just want to get a taste of Curry and try small examples without installing a complete Curry environment, you might like to use the interactive web interface of the Curry implementation PAKCS. Please note that this environment is restricted to execute smaller programs without I/O operations. Michael Hanus documentation Wed, 06 Mar 2013 10:49:44 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/navigation?rev=1362502382&do=diff Documentation * Curry Report * Tutorial * Learn More * Mailing List Implementations * Try Curry! * Overview * PAKCS * MCC * KiCS2 * KiCS Tools * COOSy * CurryBrowser * CurryDoc * CurryTest * B.I.O. Debugger * iCODE * EasyCheck * Spicey * DSDCurry Michael Hanus Tue, 05 Mar 2013 17:53:02 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/research/papers?rev=1361880231&do=diff Note: this is only a selection and, thus, always incomplete! Surveys Functional Logic Programming (CACM 2010) This article reviews the main ideas of functional logic programming and Curry. Programming with Narrowing: a Tutorial (JSC 2010) This paper surveys the use of narrowing, i.e., the operational principle of Curry, from a programmer viewpoint by means of examples. Michael Hanus research Tue, 26 Feb 2013 13:03:51 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/tools/currybrowser?rev=1361879951&do=diff 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. Michael Hanus tools Tue, 26 Feb 2013 12:59:11 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/tools/currytest?rev=1361879796&do=diff CurryTest is a simple tool in the PAKCS and KiCS2 distributions 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 tests. Michael Hanus tools Tue, 26 Feb 2013 12:56:36 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/tools/currydoc?rev=1361873779&do=diff CurryDoc is a tool in the PAKCS and KiCS2 distributions that generates the documentation for a Curry program (i.e., the main module and all its imported modules) in HTML (and optionally also LaTeX) format. The generated HTML pages contain information about all data types and functions exported by a module as well as links between the different entities. Furthermore, some information about the definitional status of functions (like rigid, flexible, external, complete, or overlapping definitions… Michael Hanus tools Tue, 26 Feb 2013 11:16:19 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/documentation/report?rev=1347374703&do=diff Since the design and implementation of Curry is under development, the language definition contained in the report should be considered as preliminary in various aspects. Nevertheless, the report is the main reference on Curry so that implementations of Curry should refer to this report to explain restrictions or differences. Michael Hanus documentation Tue, 11 Sep 2012 16:45:03 +0200 http://www-ps.informatik.uni-kiel.de/currywiki/implementations/overview?rev=1338558980&do=diff Since the development of Curry is an international initiative by various research groups, several implementations are available and/or under development. Some of them are listed below. PAKCS The Portland Aachen Kiel Curry System (PAKCS) is an implementation of Curry jointly developed by the Portland State University, the Aachen University of Technology, and the University of Kiel. PAKCS is an interactive system to develop Curry programs. It has a simple user interface, some interactive d… Michael Hanus implementations Fri, 01 Jun 2012 15:56:20 +0200