An Execution Model for RICE
Programming Languages
2025-06-09 v1
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.
Cite
@article{arxiv.2506.05839,
title = {An Execution Model for RICE},
author = {Steven Libby},
journal= {arXiv preprint arXiv:2506.05839},
year = {2025}
}
Comments
In Proceedings LSFA 2024, arXiv:2506.05219