Reversible Functional Array Programming

DOI10.1007/978-3-030-79837-6_3MaRDI QIDQ5162599zbMATH OpenOpenAlexFDO

Authors Torben Ægidius Mogensen

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_3

Mathematics Subject Classification ID

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

Recommendations

• Towards a reversible functional language
• Real-time reversible iterative arrays
• Real-Time Reversible Iterative Arrays
• Generating reversible circuits from higher-order functional programs
• Optimizing reversible programs
• Reversible computing from a programming language perspective
• Functional Array Programming in SaC
• A class of reversible primitive recursive functions
• Realization and synthesis of reversible functions
• A new method for functional arrays

Cites work

• Data structures and dynamic memory management in reversible languages
• Hermes: a language for light-weight encryption

Cited in

(1)

• Reversible computing from a programming language perspective

Describes a project that uses

Uses Software

• ROOPLPPC

This page was built for publication: Reversible Functional Array Programming

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