Fundamentals of reversible flowchart languages

DOI10.1016/j.tcs.2015.07.046zbMath1332.68028OpenAlexW950576007WikidataQ62038216 ScholiaQ62038216MaRDI QIDQ896906

Holger Bock Axelsen, Tetsuo Yokoyama, Robert Glück

Publication date: 15 December 2015

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

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

zbMATH Keywords

reversible computingprogram inversionstructured programmingflowchartr-Turing-completenessstructured program theorem

Mathematics Subject Classification ID

Related Items (14)

Condition/decision duality and the internal logic of extensive restriction categories ⋮ From reversible programming languages to reversible metalanguages ⋮ On reversible Turing machines and their function universality ⋮ Reversible computation in term rewriting ⋮ Towards a taxonomy for reversible computation approaches ⋮ Optimization of reversible control flow graphs ⋮ Towards a dereversibilizer: fewer asserts, statically ⋮ Reversible computing from a programming language perspective ⋮ Unnamed Item ⋮ Join inverse categories and reversible recursion ⋮ Compiling Janus to RSSA ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Towards causal-consistent reversibility of imperative concurrent programs ⋮ Optimizing reversible programs

Uses Software

• FliPpr
• SyReC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversible computing and cellular automata -- a survey
• \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
• Conservative logic
• Computation and construction universality of reversible cellular automata
• Linear programs in a simple reversible language.
• Theory of cellular automata: a survey
• A programmable editor for developing structured documents based on bidirectional transformations
• A structural approach to reversible computation
• Reversing algebraic process calculi
• Reversible Representation and Manipulation of Constructor Terms in the Heap
• Synthesis and optimization of reversible circuits—a survey
• Towards a Reversible Functional Language
• Information effects
• What Do Reversible Programs Compute?
• A Simple and Efficient Universal Reversible Turing Machine
• Reversible Computing
• Reversible arithmetic logic unit for quantum arithmetic
• Reversible Machine Code and Its Abstract Processor Architecture
• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• Towards a Design Flow for Reversible Logic
• A Universal Reversible Turing Machine
• Irreversibility and Heat Generation in the Computing Process
• A formal approach to undo operations in programming languages
• Time/Space Trade-Offs for Reversible Computation
• Functional and Logic Programming
• CONCUR 2004 - Concurrency Theory
• Mathematics of Program Construction
• FliPpr: A Prettier Invertible Printing System
• Reversible combinatory logic
• Flow diagrams, turing machines and languages with only two formation rules
• Logical Reversibility of Computation
• Term Rewriting and Applications
• Programming Languages and Systems

This page was built for publication: Fundamentals of reversible flowchart languages