Data structures and dynamic memory management in reversible languages

DOI10.1007/978-3-319-99498-7_19MaRDI QIDQ1796393zbMATH OpenOpenAlexWikidataFDO

Authors Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen

Publication date 17 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-99498-7_19

Mathematics Subject Classification ID

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

Recommendations

• Implementing reversible object-oriented language features on reversible machines
• Garbage Collection for Reversible Functional Languages
• Reversible object-oriented programming with region-based memory management (work in progress report)
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• Reversible Flowchart Languages and the Structured Reversible Program Theorem

Cited in

(8)

• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• scientific article; zbMATH DE number 6469156 (Why is no real title available?)
• Reversible Functional Array Programming
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• Reversible computing from a programming language perspective
• Reversible object-oriented programming with region-based memory management (work in progress report)
• ROOPLPPC
• Implementing reversible object-oriented language features on reversible machines

Describes a project that uses

Uses Software

• PendVM

This page was built for publication: Data structures and dynamic memory management in reversible languages

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