National Science Foundation CCF-1317249
Logic-Based Program Synthesis and Transformation, LOPSTR 2016
Compilers (Computer programs), Compiling (Electronic computers), Functional programming (Computer science), Logic programming, Imperative programming
We introduce a new native code compiler for Curry codenamed Sprite. Sprite is based on the Fair Scheme, a compilation strategy that provides instructions for transforming declarative, non-deterministic programs of a certain class into imperative, deterministic code. We outline salient features of Sprite, discuss its implementation of Curry programs, and present benchmarking results. Sprite is the first-to-date operationally complete implementation of Curry. Preliminary results show that ensuring this property does not incur a significant penalty.
Antoy, S., & Jost, A. (2016, September). A New Functional-Logic Compiler for Curry: Sprite. In International Symposium on Logic-Based Program Synthesis and Transformation (pp. 97-113). Springer, Cham.