An execution model for RICE

DOI10.4204/EPTCS.421.7MaRDI QIDQ6933979zbMATH OpenFDO

Authors Steven Libby

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.421.7

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cites work

• A needed narrowing strategy
• A new functional-logic compiler for Curry: Sprite
• Functional Logic Programming: From Theory to Curry
• Functional programming languages and computer architecture, 2nd Conference, Nancy, France, September 16-19, 1985
• Higher-order rewrite systems and their confluence
• scientific article; zbMATH DE number 4164155 (Why is no real title available?)
• scientific article; zbMATH DE number 1088020 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Making a fast Curry: push/enter vs. eval/apply for higher-order languages
• Operational semantics for declarative multi-paradigm languages

This page was built for publication: An execution model for RICE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6933979)