Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
implementations:overview [2015-01-08 13:11] mh [PAKCS] |
implementations:overview [2015-03-03 14:57] mh |
||
|---|---|---|---|
| Line 82: | Line 82: | ||
| [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | ||
| <mh@informatik.uni-kiel.de> | <mh@informatik.uni-kiel.de> | ||
| - | |||
| - | |||
| - | ===== KiCS ===== | ||
| - | |||
| - | The [[ implementations/kics | Kiel Curry System (KiCS) ]] | ||
| - | is a compiler that translates Curry | ||
| - | into [[ http://www.haskell.org/ | Haskell]]. | ||
| - | KiCS provides several strategies to encapsulate search | ||
| - | (e.g., depth-first, breadth-first). | ||
| - | It also contains an advanced debugging system | ||
| - | based on representing the execution of a Curry program | ||
| - | in a programmer-friendly call-by-value manner. | ||
| - | |||
| - | **Contact:** | ||
| - | [[ http://www-ps.informatik.uni-kiel.de/~bbr | Bernd Braßel ]] | ||
| - | <bbr@informatik.uni-kiel.de> | ||
| Line 152: | Line 136: | ||
| actively maintained. | actively maintained. | ||
| + | |||
| + | |||
| + | ===== KiCS ===== | ||
| + | |||
| + | The [[ implementations/kics | Kiel Curry System (KiCS) ]] | ||
| + | is a compiler that translates Curry | ||
| + | into [[ http://www.haskell.org/ | Haskell]]. | ||
| + | KiCS provides several strategies to encapsulate search | ||
| + | (e.g., depth-first, breadth-first). | ||
| + | It also contains an advanced debugging system | ||
| + | based on representing the execution of a Curry program | ||
| + | in a programmer-friendly call-by-value manner. | ||
| + | |||
| + | **Contact:** | ||
| + | [[ http://www-ps.informatik.uni-kiel.de/~bbr | Bernd Braßel ]] | ||
| + | <bbr@informatik.uni-kiel.de> | ||
