Differences

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

Link to this comparison view

Both sides previous revision Previous revision
implementations:overview [2020-11-30 10:48]
mh [Spite]
implementations:overview [2020-11-30 10:51]
mh [KiCS2]
Line 48: Line 48:
  
 The [[ http://​www-ps.informatik.uni-kiel.de/​kics2 | KiCS2 ]] The [[ http://​www-ps.informatik.uni-kiel.de/​kics2 | KiCS2 ]]
-is a new implementation that translates Curry+is an implementation that translates Curry
 into [[ http://​www.haskell.org/​ | Haskell]]. into [[ http://​www.haskell.org/​ | Haskell]].
 KiCS2 supports several search strategies to encapsulate search KiCS2 supports several search strategies to encapsulate search
-(e.g., depth-first,​ breadth-first) and advanced ​extensions+(e.g., depth-first,​ breadth-first) and various ​extensions
 of Curry like of Curry like
 [[ http://​www.informatik.uni-kiel.de/​~mh/​papers/​PPDP09.html | encapsulated search via set functions ]] [[ http://​www.informatik.uni-kiel.de/​~mh/​papers/​PPDP09.html | encapsulated search via set functions ]]
 and [[http://​www.informatik.uni-kiel.de/​~mh/​papers/​LOPSTR05.html | functional patterns]]. and [[http://​www.informatik.uni-kiel.de/​~mh/​papers/​LOPSTR05.html | functional patterns]].
-It also provides almost all libraries +It also supports the same libraries ​and packages as PAKCS 
-of PAKCS for application programming ​so that it has been +so that it has been used for various applications.
-used for various applications.+
  
 **Contact:​** **Contact:​**
/srv/dokuwiki/currywiki/data/pages/implementations/overview.txt · Last modified: 2020-11-30 10:51 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