Fundamentals of reversible flowchart languages
type: Item
instance of: scholarly article
title: Fundamentals of reversible flowchart languages
zbMATH Open document ID: 1332.68028
author: Tetsuo Yokoyama
author: Holger Bock Axelsen
author: Robert Glück
published in: Theoretical Computer Science
publication date: 2015-12-15T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 6521246
zbMATH Keywords: flowchart
zbMATH Keywords: reversible computing
zbMATH Keywords: program inversion
zbMATH Keywords: structured programming
zbMATH Keywords: structured program theorem
zbMATH Keywords: r-Turing-completeness
Wikidata QID: Q62038216
describes a project that uses: FliPpr
describes a project that uses: SyReC
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.07.046
OpenAlex ID: W950576007
cites work: Q4414734
cites work: A structural approach to reversible computation
cites work: A Simple and Efficient Universal Reversible Turing Machine
cites work: What Do Reversible Programs Compute?
cites work: Reversible Representation and Manipulation of Constructor Terms in the Heap
cites work: Reversible Machine Code and Its Abstract Processor Architecture
cites work: Logical Reversibility of Computation
cites work: Time/Space Trade-Offs for Reversible Computation
cites work: Flow diagrams, turing machines and languages with only two formation rules
cites work: Q5684216
cites work: CONCUR 2004 - Concurrency Theory
cites work: Reversible Computing
cites work: Reversible combinatory logic
cites work: Q3867160
cites work: Conservative logic
cites work: Programming Languages and Systems
cites work: Functional and Logic Programming
cites work: Q3925859
cites work: Q3942366
cites work: A programmable editor for developing structured documents based on bidirectional transformations
cites work: Information effects
cites work: Theory of cellular automata: a survey
cites work: Q4055144
cites work: Irreversibility and Heat Generation in the Computing Process
cites work: A formal approach to undo operations in programming languages
cites work: Q4124327
cites work: Linear programs in a simple reversible language.
cites work: FliPpr: A Prettier Invertible Printing System
cites work: Reversible computing and cellular automata -- a survey
cites work: A Universal Reversible Turing Machine
cites work: Mathematics of Program Construction
cites work: Term Rewriting and Applications
cites work: Reversing algebraic process calculi
cites work: Synthesis and optimization of reversible circuits -- a survey
cites work: \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
cites work: Reversible arithmetic logic unit for quantum arithmetic
cites work: Computation and construction universality of reversible cellular automata
cites work: Towards a Design Flow for Reversible Logic
cites work: Reversible Flowchart Languages and the Structured Reversible Program Theorem
cites work: Q5389329
cites work: Towards a Reversible Functional Language
DBLP publication ID: journals/tcs/YokoyamaAG16
DOI: 10.1016/J.TCS.2015.07.046
description: scientific article; zbMATH DE number 6521246