A New Functional-Logic Compiler for Curry: Sprite
Programming Languages
2016-08-16 v1
Abstract
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.
Cite
@article{arxiv.1608.04016,
title = {A New Functional-Logic Compiler for Curry: Sprite},
author = {Sergio Antoy and Andy Jost},
journal= {arXiv preprint arXiv:1608.04016},
year = {2016}
}
Comments
Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)