An Execution Model for RICE
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916782085767168 |
|---|---|
| author | Libby, Steven |
| author_facet | Libby, Steven |
| contents | 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.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_05839 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An Execution Model for RICE Libby, Steven Programming Languages 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. |
| title | An Execution Model for RICE |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2506.05839 |