Differences

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

--- tools:cass [2016-08-26 12:53]
mh [Further Information]
+++ tools:cass [2020-09-04 16:31]
mh [Further Information]
@@ Line 33: / Line 33: @@
 Then this analysis is applied to the module and the results are printed. This mode is useful to get a quick access to analysis information so that one can experiment with different abstractions, fixpoint computations, etc.
 For instance, the following command analyzes the groundness behavior of operations
-of the module ''rev'':
+of the module ''rev'' (here we assume that CASS is installed as part of
+PAKCS or KiCS2 so that it is invoked via ''curry analyze''):
-  > cass Groundness rev
+  > curry analyze Groundness rev
   rev.append ground if arguments [1,2] are ground
   rev.main always ground result
@@ Line 70: / Line 71: @@
 To start CASS in the server mode, execute the command
-  cass --server [ -p <port> ]
+  curry analyze --server [ -p <port> ]
 where an optional port number for the communication can be provided.
@@ Line 151: / 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 158: / 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