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:04] mh |
applications [2010-03-26 16:18] 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.informatik.uni-kiel.de/module | 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 ==== | ||
| Line 120: | Line 137: | ||
| 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 ==== | ||
