Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
tools:cass [2017-01-26 17:28] mh |
tools:cass [2020-09-04 16:31] (current) mh [Further Information] |
||
---|---|---|---|
Line 165: | Line 165: | ||
**[[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}}) | + | (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 ]] | A [[http://www.informatik.uni-kiel.de/~mh/papers/CICLOPS13.html | previous version of this paper ]] |