What do reversible programs compute?

DOI10.1007/978-3-642-19805-2_4zbMATH Open1326.68134OpenAlexW1592460780WikidataQ62038239 ScholiaQ62038239MaRDI QIDQ3000598FDOQ3000598

Authors: Holger Bock Axelsen, Robert Glück 

Publication date: 19 May 2011

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_4

Recommendations

• On reversible Turing machines and their function universality
• A simple and efficient universal reversible Turing machine
• A class of reversible primitive recursive functions
• Fundamentals of reversible flowchart languages
• Reversible Flowchart Languages and the Structured Reversible Program Theorem

Mathematics Subject Classification ID

Cited In (27)

• Applying reversibility theory for the performance evaluation of reversible computations
• A certified study of a reversible programming language
• Reversible Turing Machines and Polynomial Time Reversibly Computable Functions
• A class of recursive permutations which is primitive recursive complete
• The fixed point problem of a simple reversible language
• Mathematics of Program Construction
• Join inverse categories as models of reversible recursion
• Isomorphic interpreters from logically reversible abstract machines
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Reversible computing from a programming language perspective
• On reversible Turing machines and their function universality
• Towards a reversible functional language
• En garde! Unguarded iteration for reversible computation in the delay monad
• A class of reversible primitive recursive functions
• Small universal reversible counter machines
• Fundamentals of reversible flowchart languages
• Linear programs in a simple reversible language.
• Title not available (Why is that?)
• Information effects
• On reversible combinatory logic
• Programming techniques for reversible comparison sorts
• A categorical foundation for structured reversible flowchart languages
• Clean reversible simulations of ranking binary trees
• Garbage-free reversible integer multiplication with constants of the form \(2^{k}\pm 2^{l}\pm 1\)
• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• Join inverse categories and reversible recursion
• Reversible Programs Have Reversible Semantics

This page was built for publication: What do reversible programs compute?

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