TL;DR
This paper presents an execution model for RICE, detailing its operational semantics, restrictions for executable code, and validation against Curry's standard semantics, enhancing understanding of RICE's execution behavior.
Contribution
It introduces an execution model for RICE based on operational semantics, clarifying how RICE code is executed and ensuring conformity with Curry's semantics.
Findings
The execution model aligns with standard Curry semantics.
Restrictions for executable RICE code are specified.
Operational semantics for RICE are formalized.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.