Isomorphic Interpreters from Logically Reversible Abstract Machines

DOI10.1007/978-3-642-36315-3_5zbMath1451.68119OpenAlexW784033476MaRDI QIDQ3453735

Roshan P. James, Amr Sabry

Publication date: 30 November 2015

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36315-3_5

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other nonclassical models of computation (68Q09)

Related Items (3)

From reversible programs to univalent universes and back ⋮ Computing with Semirings and Weak Rig Groupoids ⋮ A Certified Study of a Reversible Programming Language

Cites Work

• A structural approach to reversible computation
• What Do Reversible Programs Compute?
• From Reduction-Based to Reduction-Free Normalization

This page was built for publication: Isomorphic Interpreters from Logically Reversible Abstract Machines