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 | ||
|
tools:cass [2017-01-26 17:25] mh [Server Protocol] |
tools:cass [2020-09-04 16:30] mh [Further Information] |
||
|---|---|---|---|
| Line 152: | Line 152: | ||
| + | |||
| + | ===== Web Demo Installation ===== | ||
| + | |||
| + | If you want try CASS on simple programs via a web interface, | ||
| + | you can use the | ||
| + | [[http://www-ps.informatik.uni-kiel.de/~mh/webcass/main.cgi | Web Demo Installation of CASS]]. | ||
| ===== Further Information ===== | ===== Further Information ===== | ||
| Line 160: | Line 166: | ||
| **[[http://www.informatik.uni-kiel.de/~mh/papers/PEPM14.html | A Modular and Generic Analysis Server System for Functional Logic Programs]]** | **[[http://www.informatik.uni-kiel.de/~mh/papers/PEPM14.html | A Modular and Generic Analysis Server System for Functional Logic Programs]]** | ||
| ({{tools:cass:cass_paper.pdf | longer version}}) | ({{tools:cass:cass_paper.pdf | longer version}}) | ||
| - | |||
| - | [[http://www.informatik.uni-kiel.de/~mh | Michael Hanus]] and | ||
| - | [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/fabian-reck/ | Fabian Skrlac]] | ||
| - | (Christian-Albrechts-Universität Kiel, 2013) | ||
| A [[http://www.informatik.uni-kiel.de/~mh/papers/CICLOPS13.html | previous version of this paper ]] | A [[http://www.informatik.uni-kiel.de/~mh/papers/CICLOPS13.html | previous version of this paper ]] | ||
