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 28 articles )
Showing results 1 to 20 of 28.
Sorted by year (- Dylus, Sandra; Christiansen, Jan; Teegen, Finn: Implementing a library for probabilistic programming using non-strict non-determinism (2020)
- Sandra Dylus, Jan Christiansen, Finn Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism (2019) arXiv
- Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
- 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: \textitTheFair 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)
- Antoy, Sergio; Brown, Daniel W.; Chiang, Su-Hui: Lazy context cloning for non-deterministic graph rewriting (2007)
- 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)
- Sadeghi, Parissa H.; Huch, Frank: The interactive Curry observation debugger iCODE (2007) ioport
- 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)