Abstract
FlatCurry is a well-established intermediate representation of Curry programs used in compilers that translate Curry code into Prolog or Haskell code. Some FlatCurry constructs have no direct translation into imperative code. These constructs must be each handled differently when translating Curry code into, e.g., C,or 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 and semantics of ICurry and the translation from FlatCurry to ICurry. We present a model of functional logic computations as graph rewriting and show how this model can be implemented with ICurry in a low-level imperative language.
Cite
CITATION STYLE
Antoy, S., Hanus, M., Jost, A., & Libby, S. (2020). ICurry. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12057 LNAI, pp. 286–307). Springer. https://doi.org/10.1007/978-3-030-46714-2_18
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
