Reversible computing from a programming language perspective
From MaRDI portal
Publication:2693633
DOI10.1016/j.tcs.2022.06.010OpenAlexW4312081346MaRDI QIDQ2693633
Publication date: 24 March 2023
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.06.010
metacomputationreversible computinginverse interpretationprogram inversionreversible programmingcompute-uncomputefunction injectivizationprogram reversibilization
Related Items (3)
Towards a taxonomy for reversible computation approaches ⋮ Optimization of reversible control flow graphs ⋮ Towards a dereversibilizer: fewer asserts, statically
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- SyReC
- LRinv
- On reversible Turing machines and their function universality
- Join inverse categories and reversible recursion
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- Invertible cellular automata: A review
- Fundamentals of reversible flowchart languages
- Conservative logic
- Linear programs in a simple reversible language.
- Reversible space equals deterministic space
- Cauder: a causal-consistent reversible debugger for Erlang
- Reversible computation in term rewriting
- Theory of reversible computing
- Reversible nondeterministic finite automata
- Implementing reversible object-oriented language features on reversible machines
- Data structures and dynamic memory management in reversible languages
- Involutory Turing machines
- Reversible computations in logic programming
- From reversible programming languages to reversible metalanguages
- Constructing a binary tree from its traversals by reversible recursion and iteration
- A structural approach to reversible computation
- Real-Time Methods in Reversible Computation
- Reversible Representation and Manipulation of Constructor Terms in the Heap
- Towards a Reversible Functional Language
- On DNA-Based Gellular Automata
- What Do Reversible Programs Compute?
- A Simple and Efficient Universal Reversible Turing Machine
- Reversible Computing
- Reversible arithmetic logic unit for quantum arithmetic
- RSSA: A Reversible SSA Form
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Programming Techniques for Reversible Comparison Sorts
- Reversible Machine Code and Its Abstract Processor Architecture
- Reversible Flowchart Languages and the Structured Reversible Program Theorem
- Towards a Design Flow for Reversible Logic
- Irreversibility and Heat Generation in the Computing Process
- A formal approach to undo operations in programming languages
- Time/Space Trade-Offs for Reversible Computation
- Algorithm = logic + control
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Time and space complexity of reversible pebbling
- Semi-inversion of Conditional Constructor Term Rewriting Systems
- Reversible Functional Array Programming
- Compiling Janus to RSSA
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming
- FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS
- Mathematics of Program Construction
- On reversible subroutines and computers that run backwards
- Nondeterministic Algorithms
- Logical Reversibility of Computation
- Programming Languages and Systems
This page was built for publication: Reversible computing from a programming language perspective
