Towards a Unified Language Architecture for Reversible Object-Oriented Programming

DOI10.1007/978-3-030-79837-6_6MaRDI QIDQ5162604zbMATH OpenOpenAlexFDO

Authors Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund

Publication date 3 November 2021

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-79837-6_6

Mathematics Subject Classification ID

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

Recommendations

• Implementing reversible object-oriented language features on reversible machines
• Towards a reversible functional language
• Reversible computing from a programming language perspective
• From reversible programming languages to reversible metalanguages
• Mathematics of Program Construction
• A generic reification technique for object-oriented reflective languages
• Reversible programming languages capturing complexity classes
• On the expressivity of total reversible programming languages

Cites work

• Data structures and dynamic memory management in reversible languages
• Implementing reversible object-oriented language features on reversible machines
• Towards a reversible functional language

Cited in

(7)

• Algeo: an algebraic approach to reversibility
• Reversible computing from a programming language perspective
• ROOPLPP
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Towards a taxonomy for reversible computation approaches
• Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
• CRIL: a concurrent reversible intermediate language

Describes a project that uses

Uses Software

• PendVM

This page was built for publication: Towards a Unified Language Architecture for Reversible Object-Oriented Programming

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