Implementing reversible object-oriented language features on reversible machines

DOI10.1007/978-3-319-59936-6_5MaRDI QIDQ1705581zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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

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

Recommendations

• Reversible object-oriented programming with region-based memory management (work in progress report)
• Data structures and dynamic memory management in reversible languages
• Reversible Machine Code and Its Abstract Processor Architecture
• Towards a reversible functional language
• A certified study of a reversible programming language

Cited in

(9)

• Reversible Machine Code and Its Abstract Processor Architecture
• Towards a taxonomy for reversible computation approaches
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Reversible computing from a programming language perspective
• Reversible object-oriented programming with region-based memory management (work in progress report)
• Toward an energy efficient language and compiler for (partially) reversible algorithms
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Data structures and dynamic memory management in reversible languages
• Encryption and reversible computations. Work-in-progress paper

Describes a project that uses

Uses Software

• Janus

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

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