Implementing reversible object-oriented language features on reversible machines

DOI10.1007/978-3-319-59936-6_5zbMath1487.68079OpenAlexW2620179038WikidataQ62038209 ScholiaQ62038209MaRDI QIDQ1705581

Tue Haulund, Torben Ægidius Mogensen, Robert Glück

Publication date: 16 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-59936-6_5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Other nonclassical models of computation (68Q09)

Related Items (4)

Towards a taxonomy for reversible computation approaches ⋮ Reversible computing from a programming language perspective ⋮ Towards a Unified Language Architecture for Reversible Object-Oriented Programming ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Uses Software

• Janus

This page was built for publication: Implementing reversible object-oriented language features on reversible machines