PEARL: a partial evaluation toolbox for a reversible language

DOI10.1007/978-3-032-30839-9_16MaRDI QIDQ7411944zbMATH OpenFDO

Authors Louis Marott Normann, Robert Glück

Publication date 2026

Full work available at URL https://doi.org/10.1007/978-3-032-30839-9_16

zbMATH Keywords

Futamura projectioninterpretersreversible circuitsreversible flowchartsspecializationtranslation

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• Fundamentals of reversible flowchart languages
• scientific article; zbMATH DE number 1612493 (Why is no real title available?)
• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• scientific article; zbMATH DE number 2080203 (Why is no real title available?)
• Program transformation system based on generalized partial computation
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Reversible Computing
• Reversible computing from a programming language perspective
• Reversible Programs Have Reversible Semantics
• Towards a design flow for reversible logic

This page was built for publication: PEARL: a partial evaluation toolbox for a reversible language

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