Differences

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

--- tools:cass [2017-01-26 17:25]
mh [Server Protocol]
+++ tools:cass [2020-09-04 16:31]
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 =====
@@ Line 159: / Line 165: @@
 **[[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}})
+(PEPM 2014, {{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 ]]

/srv/dokuwiki/currywiki/data/pages/tools/cass.txt · Last modified: 2020-09-04 16:31 by mh

Back to top