Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
implementations:overview [2015-01-08 13:11] mh [PAKCS] |
implementations:overview [2015-05-07 11:53] bjp [MCC] Updated URL |
||
---|---|---|---|
Line 42: | Line 42: | ||
===== MCC ===== | ===== MCC ===== | ||
- | The [[http://danae.uni-muenster.de/~lux/curry | Münster Curry Compiler (MCC) ]] | + | The [[http://danae.uni-muenster.de/curry/ | Münster Curry Compiler (MCC) ]] |
is a mature native code compiler for | is a mature native code compiler for | ||
Curry which conforms to the Curry report except for committed | Curry which conforms to the Curry report except for committed | ||
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> | ||