Reversible computing from a programming language perspective

DOI10.1016/J.TCS.2022.06.010MaRDI QIDQ2693633zbMATH OpenOpenAlexFDO

Authors Robert Glück, Tetsuo Yokoyama

Publication date 24 March 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.tcs.2022.06.010

zbMATH Keywords

compute-uncomputefunction injectivizationinverse interpretationmetacomputationprogram inversionprogram reversibilizationreversible computingreversible programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• From reversible programming languages to reversible metalanguages
• Reversible Programs Have Reversible Semantics
• What do reversible programs compute?
• Implementing reversible object-oriented language features on reversible machines
• Towards a reversible functional language

Cites work

• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• A formal approach to undo operations in programming languages
• A method for automatic program inversion based on LR(0) parsing
• A program inverter for a functional language with equality and constructors.
• A simple and efficient universal reversible Turing machine
• A structural approach to reversible computation
• Algorithm = logic + control
• Cauder: a causal-consistent reversible debugger for Erlang
• Compiling Janus to RSSA
• Conservative logic
• Constructing a binary tree from its traversals by reversible recursion and iteration
• Data structures and dynamic memory management in reversible languages
• From reversible programming languages to reversible metalanguages
• From standard to non-standard semantics by semantics modifiers
• Fundamentals of reversible flowchart languages
• scientific article; zbMATH DE number 1612493 (Why is no real title available?)
• scientific article; zbMATH DE number 1630105 (Why is no real title available?)
• scientific article; zbMATH DE number 4020506 (Why is no real title available?)
• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• scientific article; zbMATH DE number 3716761 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3581588 (Why is no real title available?)
• scientific article; zbMATH DE number 1953282 (Why is no real title available?)
• scientific article; zbMATH DE number 2080203 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 7750600 (Why is no real title available?)
• Implementing reversible object-oriented language features on reversible machines
• Invertible cellular automata: A review
• Involutory Turing machines
• Irreversibility and Heat Generation in the Computing Process
• Join inverse categories and reversible recursion
• Linear programs in a simple reversible language.
• Logical Reversibility of Computation
• LRinv
• Mathematics of Program Construction
• Nondeterministic Algorithms
• On DNA-based gellular automata
• On reversible subroutines and computers that run backwards
• On reversible Turing machines and their function universality
• Optimizing reversible simulation of injective functions
• Programming techniques for reversible comparison sorts
• Real-time methods in reversible computation
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Reversible arithmetic logic unit for quantum arithmetic
• Reversible computation in term rewriting
• Reversible computations in logic programming
• Reversible Computing
• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• Reversible Functional Array Programming
• Reversible Machine Code and Its Abstract Processor Architecture
• Reversible nondeterministic finite automata
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• Reversible space equals deterministic space
• RSSA: A Reversible SSA Form
• Semi-inversion of conditional constructor term rewriting systems
• SyReC
• The universal resolving algorithm and its correctness: Inverse computation in a functional language
• Theory of reversible computing
• Time and space complexity of reversible pebbling
• Time/Space Trade-Offs for Reversible Computation
• Towards a design flow for reversible logic
• Towards a reversible functional language
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• What do reversible programs compute?

Cited in

(15)

• Programs with restoration of computations
• From reversible programming languages to reversible metalanguages
• A structural approach to reversible computation
• Describing and Optimising Reversible Logic Using a Functional Language
• Reversible Functional Array Programming
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Towards a taxonomy for reversible computation approaches
• Optimization of reversible control flow graphs
• Towards a dereversibilizer: fewer asserts, statically
• Compositional reversible computation
• Exploring the energy overhead of reversible programs executed on irreversible hardware
• Towards clean reversible lossless compression. A reversible programming experiment with zip
• Jeopardy: an invertible functional programming language
• Connecting reversible and classical computing through hybrid SSA
• A Curry-Howard correspondence for linear, reversible computation

Describes a project that uses

Uses Software

• LRinv
• SyReC
• GDB
• CauDEr

This page was built for publication: Reversible computing from a programming language perspective

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