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 [2016-08-26 12:53] mh [Further Information] |
tools:cass [2020-09-04 16:30] 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. | 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 | 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.append ground if arguments [1,2] are ground | ||
rev.main always ground result | rev.main always ground result | ||
Line 70: | Line 71: | ||
To start CASS in the server mode, execute the command | 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. | 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 ===== | ===== Further Information ===== | ||
Line 159: | 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 ]] |