Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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:21]
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/​~mh/​papers/​PPDP06.html | 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 ====
/srv/dokuwiki/currywiki/data/pages/applications.txt · Last modified: 2019-10-26 23:56 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0