Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
applications [2010-03-26 14:04] mh |
applications [2014-06-13 12:35] 127.0.0.1 external edit |
||
---|---|---|---|
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 ==== | ||
Line 120: | Line 139: | ||
SOL is a web-based system to support practical assignments of courses, e.g., it is applied in computer science courses at the [[http://www.informatik.uni-kiel.de/|University of Kiel]]. SOL provides web-based functionality for lectures, tutors (who correct assignments), and students. Lectures can structure courses into units that contain various assignments, e.g., multiple/single choice tests, gap texts, programming tasks etc. Students can submit their solutions to a learning unit which will be judged by tutors. Students can form smaller learning groups to solve their tasks. Moreover, SOL contains a message system to exchange information between students, tutors, and lectures. | SOL is a web-based system to support practical assignments of courses, e.g., it is applied in computer science courses at the [[http://www.informatik.uni-kiel.de/|University of Kiel]]. SOL provides web-based functionality for lectures, tutors (who correct assignments), and students. Lectures can structure courses into units that contain various assignments, e.g., multiple/single choice tests, gap texts, programming tasks etc. Students can submit their solutions to a learning unit which will be judged by tutors. Students can form smaller learning groups to solve their tasks. Moreover, SOL contains a message system to exchange information between students, tutors, and lectures. | ||
- | The complete system is implemented in Curry and exploits the various features of Curry, in particular, for [[http://www.informatik.uni-kiel.de/~mh/papers/JFLP04_dyn.html|database programming]] and [[http://www.informatik.uni-kiel.de/~mh/papers/PADL01.html|HTML programming]]. An [[http://www-ps.informatik.uni-kiel.de/sol07/|example installation]] can be found here For further details contact [[http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus]]. | + | The complete system is implemented in Curry and exploits the various features of Curry, in particular, for [[http://www.informatik.uni-kiel.de/~mh/papers/JFLP04_dyn.html|database programming]] and [[http://www.informatik.uni-kiel.de/~mh/papers/PADL01.html|HTML programming]]. An [[http://www-ps.informatik.uni-kiel.de/sol07/|example installation]] can be found here. |
+ | For further details contact [[http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus]]. | ||
+ | |||
+ | ==== Spicey: An ER-based Web Framework ==== | ||
+ | |||
+ | Spicey is a framework to support the implementation of web-based systems in the multi-paradigm declarative | ||
+ | language Curry. Spicey generates an initial implementation from an entity-relationship (ER) description | ||
+ | of the underlying data. The generated implementation contains operations to create and manipulate | ||
+ | entities of the data model, supports authentication, authorization, session handling, | ||
+ | and the composition of individual operations to user processes. Furthermore, the implementation | ||
+ | ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, | ||
+ | i.e., updates initiated by the user cannot lead to an inconsistent state of the database. | ||
+ | Further details can be found in the | ||
+ | [[http://www.informatik.uni-kiel.de/~pakcs/spicey/ | Spicey web page]]. | ||
==== Web Server Scripting ==== | ==== Web Server Scripting ==== |