A New Functional-Logic Compiler for Curry: Sprite [chapter]

Sergio Antoy, Andy Jost
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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
more &raquo; ... this property does not incur a significant penalty.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63139-4_6">doi:10.1007/978-3-319-63139-4_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5iqmxm6ftva5vmbposwwxbk36q">fatcat:5iqmxm6ftva5vmbposwwxbk36q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427204746/https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=1191&amp;context=compsci_fac" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2c/59/2c598d60d45e6a93acb761797c5b93e44186370d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-63139-4_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>