Reversible Flowchart Languages and the Structured Reversible Program Theorem

DOI10.1007/978-3-540-70583-3_22MaRDI QIDQ3519506zbMATH OpenOpenAlexWikidataFDO

Authors Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Publication date 19 August 2008

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70583-3_22

Mathematics Subject Classification ID

Recommendations

• Fundamentals of reversible flowchart languages
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• What do reversible programs compute?
• A structural approach to reversible computation
• Towards a reversible functional language

Cited in

(30)

• Linear programs in a simple reversible language.
• Reversible computation in term rewriting
• Reversible pushdown automata
• Data structures and dynamic memory management in reversible languages
• Encryption and reversible computations. Work-in-progress paper
• The fixed point problem of a simple reversible language
• A categorical foundation for structured reversible flowchart languages
• En garde! Unguarded iteration for reversible computation in the delay monad
• One-way reversible multi-head finite automata
• Constructing a binary tree from its traversals by reversible recursion and iteration
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computing from a programming language perspective
• What do reversible programs compute?
• Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)
• One-way reversible multi-head finite automata
• Isomorphic interpreters from logically reversible abstract machines
• Programming techniques for reversible comparison sorts
• Reversible Machine Code and Its Abstract Processor Architecture
• scientific article; zbMATH DE number 4041240 (Why is no real title available?)
• A certified study of a reversible programming language
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Clean reversible simulations of ranking binary trees
• Mathematics of Program Construction
• Optimizing reversible simulation of injective functions
• Optimization of reversible control flow graphs
• Tail recursion transformation for invertible functions
• Towards a dereversibilizer: fewer asserts, statically
• Reversible Top-Down Syntax Analysis
• Connecting reversible and classical computing through hybrid SSA
• Fundamentals of reversible flowchart languages

This page was built for publication: Reversible Flowchart Languages and the Structured Reversible Program Theorem

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