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:09] mh [KiCS] |
implementations:overview [2017-05-31 15:36] mh [PAKCS] Ubuntu package mentioned |
||
|---|---|---|---|
| Line 29: | Line 29: | ||
| among other libraries for application programming | among other libraries for application programming | ||
| (e.g., XML processing, meta-programming, sets, system access). | (e.g., XML processing, meta-programming, sets, system access). | ||
| - | There exists also an | ||
| - | [[ http://www-ps.informatik.uni-kiel.de/~mh/pakcs/curryinput_c2p.cgi | interactive WWW interface ]] | ||
| - | to this compiler. | ||
| PAKCS compiles Curry programs into Prolog programs | PAKCS compiles Curry programs into Prolog programs | ||
| (it has also other back ends, like | (it has also other back ends, like | ||
| Line 37: | Line 34: | ||
| a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]], | a [[ implementations:overview#tastecurry | simple interpreter implemented in Prolog ]], | ||
| but these are no longer maintained). | but these are no longer maintained). | ||
| + | |||
| + | PAKCS (release 1.14.2) is also available as an Ubuntu 17.04 package. | ||
| + | If you run this OS, PAKCS can be installed with the command | ||
| + | |||
| + | > sudo apt install pakcs | ||
| **Contact:** | **Contact:** | ||
| Line 45: | Line 47: | ||
| ===== 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 61: | Line 63: | ||
| [[ http://danae.uni-muenster.de/~lux/pubs/ | here ]]. | [[ http://danae.uni-muenster.de/~lux/pubs/ | here ]]. | ||
| - | **Contact:** [[http://danae.uni-muenster.de/~lux/ | Wolfgang Lux ]] | + | **Contact:** Wolfgang Lux |
| <wlux@uni-muenster.de> | <wlux@uni-muenster.de> | ||
| Line 85: | Line 87: | ||
| [[ 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 155: | Line 141: | ||
| 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> | ||
