PAKCS
PAKCS is an implementation of the multi-paradigm declarative language Curry jointly developed by the Portland State University, the Aachen University of Technology, and the University of Kiel. Although this is not a highly optimized implementation but based on a high-level compilation of Curry programs into Prolog programs, it is not a toy implementation but has been used for a variety of applications (e.g., graphical programming environments, an object-oriented front-end for Curry, partial evaluators, database applications, HTML programming with dynamic web pages, prototyping embedded systems). Thus, the size of all current Curry applications implemented with PAKCS amounts to more than 100,000 lines (or 5 mbytes) of program code. There is a manual (PDF) which describes the use of the system and the minor restrictions of PAKCS compared to Curry. Since this document compares only PAKCS to Curry, you may have a look at the Curry report which describes the full language
Keywords for this software
References in zbMATH (referenced in 22 articles )
Showing results 1 to 20 of 22.
Sorted by year (- Antoy, Sergio; Hanus, Michael: From Boolean equalities to constraints (2015)
- Antoy, Sergio; Jost, Andy: Compiling collapsing rules in certain constructor systems (2015)
- Antoy, Sergio; Jost, Andy: Compiling a functional logic language: \itThe Fair Scheme (2014)
- Hanus, Michael: Functional logic programming: from theory to Curry (2013)
- Braßel, Bernd; Fischer, Sebastian; Hanus, Michael; Reck, Fabian: Transforming functional logic programs into monadic functional programs (2011)
- Hanus, Michael: Lazy and enforceable assertions for functional logic programs (2011) ioport
- Antoy, Sergio: Programming with narrowing: a tutorial (2010)
- Braßel, Bernd; Christiansen, Jan: A relation algebraic semantics for a lazy functional logic language (2008)
- Braßel, Bernd; Fischer, Sebastian; Huch, Frank: Declaring numbers (2008)
- Berghammer, Rudolf; Fischer, Sebastian: Implementing relational specifications in a constraint functional logic language (2007)
- Braßel, Bernd: A framework for interpreting traces of functional logic computations (2007)
- Braßel, Bernd; Huch, Frank: On a tighter integration of functional and logic programming (2007)
- Hanus, Michael: Reporting failures in functional logic programs (2007)
- Antoy, Sergio: Evaluation strategies for functional logic programming (2005)
- Antoy, Sergio; Hanus, Michael; Liu, Jimeng; Tolmach, Andrew: A virtual machine for functional logic computations (2005)
- Braßel, Bernd; Hanus, Michael: Nondeterminism analysis of functional logic programs (2005)
- Alpuente, María; Falaschi, Moreno; Moreno, Ginés; Vidal, Germán: Rules + strategies for transforming lazy functional logic programs (2004)
- Braßel, Bernd; Hanus, Michael; Huch, Frank: Encapsulating non-determinism in functional logic computations (2004)
- Hanus, Michael: Dynamic predicates in functional logic programs (2004)
- Tolmach, Andrew; Antoy, Sergio; Nita, Marius: Implementing functional logic languages using multiple threads and stores (2004)