2 papers
cs.PL2026
Functional Logic Program Transformations
Michael Hanus, Steven Libby
Many tools used to process programs, like compilers, analyzers, or verifiers, perform transformations on their intermediate program representation, like abstract syntax trees. Impl…
cs.PL2025
An Execution Model for RICE
Steven Libby
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 execut…