Sponsor
National Science Foundation CCF-1317249
Published In
Logic-Based Program Synthesis and Transformation, LOPSTR 2016
Document Type
Pre-Print
Publication Date
7-17-2018
Subjects
Compilers (Computer programs), Compiling (Electronic computers), Functional programming (Computer science), Logic programming, Imperative programming
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.
DOI
10.1007/978-3-319-63139-4_6
Persistent Identifier
https://archives.pdx.edu/ds/psu/27056
Citation Details
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.
Description
This is the author manuscript of a paper submitted for the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).