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.

Description

This is the author manuscript of a paper submitted for the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).

DOI

10.1007/978-3-319-63139-4_6

Persistent Identifier

https://archives.pdx.edu/ds/psu/27056

Share

COinS