An Execution Model for RICE

2025/06/06 by Libby, Steven
#FOS: Computer and information sciences #Programming Languages (cs.PL)

paper · doi:10.48550/arxiv.2506.05839

Abstract

In this paper, we build on the previous work of the RICE compiler by giving its execution model. We show the restrictions to the FlatCurry language that were made to produce executable code, and present the execution model using operational semantics similar to Launchbury. Finally, we show that the execution model conforms with the standard operational semantics for Curry.

Citations

• A New Functional-Logic Compiler for Curry: Sprite

Related

• ICurry
• A New Functional-Logic Compiler for Curry: Sprite
• A Systematic Approach to Programming
• From folklore to fact: comparing implementations of stacks and continuations
• A Generic Analysis Environment for Curry Programs