Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
tools:cass [2017-01-26 17:28]
mh
tools:cass [2020-09-04 16:30]
mh [Further Information]
Line 166: 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 ]]
/srv/dokuwiki/currywiki/data/pages/tools/cass.txt · Last modified: 2020-09-04 16:31 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0