Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
applications [2010-03-26 14:10] mh |
applications [2010-03-26 16:22] mh |
||
---|---|---|---|
Line 8: | Line 8: | ||
Many tools for Curry are implemented in Curry | Many tools for Curry are implemented in Curry | ||
and some of them are large applications of Curry. | and some of them are large applications of Curry. | ||
- | In the following there is a list of applications | + | Since these tools are listed under the tools sections, |
- | that are not listed under the tools section. | + | the following list does not include them. |
==== Address server ==== | ==== Address server ==== | ||
Line 101: | Line 100: | ||
to define the syntax of visual languages and graph completion appears to be very beneficial | to define the syntax of visual languages and graph completion appears to be very beneficial | ||
for the realization of powerful content assist. We have connected our framework to the diagram editor generator [[http://www.unibw.de/inf2/DiaGen |DiaGen]]. More information about our graph parsers can be found at our [[http://www.unibw.de/steffen.mazanek/forschung/grappa |project website]]. | for the realization of powerful content assist. We have connected our framework to the diagram editor generator [[http://www.unibw.de/inf2/DiaGen |DiaGen]]. More information about our graph parsers can be found at our [[http://www.unibw.de/steffen.mazanek/forschung/grappa |project website]]. | ||
+ | |||
+ | |||
+ | |||
+ | ==== Module and Study Program Management ==== | ||
+ | |||
+ | This is a system to manage module descriptions and study programs | ||
+ | for university curricula. The complete system is web-based, i.e., | ||
+ | lecturers can describe their teaching units and collect them to | ||
+ | study programs via standard web browsers. | ||
+ | The system is in use at the | ||
+ | [[http://www.informatik.uni-kiel.de | University of Kiel]] | ||
+ | and can be accessed [[http://www-ps.informatik.uni-kiel.de/~mh/studiengaenge/ | here]]. | ||
+ | The high-level libraries of Curry, e.g., for | ||
+ | [[http://www.informatik.uni-kiel.de/~mh/papers/PADL08.html | database programming]], | ||
+ | [[http://www.informatik.uni-kiel.de/~pakcs/WUI | type-safe web programming]], | ||
+ | and [[http://www.informatik.uni-kiel.de/~mh/papers/PADL10.html | | ||
+ | web frameworks based on ER-models]] | ||
+ | were quite helpful to construct this application. | ||
+ | For further details contact | ||
+ | [[http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus]]. | ||
==== Recipe database ==== | ==== Recipe database ==== |