A New Functional-Logic Compiler for Curry: Sprite

Antoy, Sergio; Jost, Andy

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

Cited by 10 publications

(7 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The intermediate language ICurry [Antoy, Hanus, et al, 2020] is intended to compile Curry into imperative target languages. It has been used to translate Curry to LLVM code [Antoy and Jost, 2016], to C or Python programs [Wittorf, 2018], and to Julia programs [Hanus and Teegen, 2021]. A recent implementation, called Curry2Go 1 , compiles ICurry programs into Go 2 programs.…”

Section: Comparing Search Strategiesmentioning

confidence: 99%

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

2021

Kiel Computer Science Series, KCSS

View full text Add to dashboard Cite

The Kiel Computer Science Series (KCSS) covers dissertations, habilitation theses, lecture notes, textbooks, surveys, collections, handbooks, etc. written at the Department of Computer Science at Kiel University. It was initiated in 2011 to support authors in the dissemination of their work in electronic and printed form, without restricting their rights to their work. The series provides a uniﬁed appearance and aims at high-quality typography. The KCSS is an open access series; all series titles are electronically available free of charge at the department’s website. In addition, authors are encouraged to make printed copies available at a reasonable price, typically with a print-on-demand service.

show abstract

Section: Comparing Search Strategiesmentioning

confidence: 99%

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

2021

Kiel Computer Science Series, KCSS

View full text Add to dashboard Cite

show abstract

“…2, the calltime choice semantics requires to share the values of non-deterministic arguments in a computation. We can implement this requirement by adding identifiers to choices and associating a "fingerprint" [11] to each task. A fingerprint is a (partial) mapping from choice identifiers to choice alternatives (Left or Right).…”

Section: Pull-tabbingmentioning

confidence: 99%

“…ICurry [9] is an intermediate language intended to translate Curry programs into imperative target languages. It has been used to translate Curry to LLVM code [11] and to C or Python programs [30]. The operational semantics of ICurry is specified in [9] by an abstract machine which performs pull-tab steps and uses a graph structure to represent expressions with sharing and a queue of tasks, where each task has its own fingerprint to implement the selection of consistent choices.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Memoized Pull-Tabbing for Functional Logic Programming

Hanus¹,

Teegen²

2020

Preprint

View full text Add to dashboard Cite

Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure. Pull-tab steps are local graph transformations to move nondeterministic choices towards the root of an expression. Pull-tabbing is independent of a search strategy so that different strategies (depth-first, breadth-first, parallel) can be used to extract the results of a computation. It has been used to compile functional logic languages into imperative or purely functional target languages. Pull-tab steps might duplicate choices in case of shared subexpressions. This could result in a dramatic increase of execution time compared to a backtracking implementation.In this paper we propose a refinement which avoids this efficiency problem while keeping all the good properties of pull-tabbing. We evaluate a first implementation of this improved technique in the Julia programming language.

show abstract

“…The translation into JSON is used by Sprite [9], a Curry system under development, whose target language is C ++ . The JSON format is more convenient when the client of ICurry code is not coded in Curry.…”

Section: Icurry Usementioning

confidence: 99%

ICurry

Antoy,

Hanus,

Jost

et al. 2019

Preprint

Self Cite

View full text Add to dashboard Cite

FlatCurry is a well-established intermediate representation of Curry programs used in compilers that translate Curry code into Prolog and Haskell code. Some FlatCurry constructs have no direct translation into imperative code. These constructs must be each handled differently when translating Curry code into C, C ++ and Python code. We introduce a new representation of Curry programs, called ICurry, and derive a translation from all FlatCurry constructs into ICurry. We present the syntax of ICurry and the translation from FlatCurry to ICurry. We present a model of functional logic computations as graph rewriting, show how this model can be implemented in a low-level imperative language, and describe the translation from ICurry to this model.

show abstract

A New Functional-Logic Compiler for Curry: Sprite

Cited by 10 publications

References 21 publications

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

Memoized Pull-Tabbing for Functional Logic Programming

ICurry

Contact Info

Product

Resources

About