An injective language for reversible computation

DOI10.1007/978-3-540-27764-4_16MaRDI QIDQ5313091zbMATH OpenOpenAlexFDO

Authors Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Towards a reversible functional language
• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• What do reversible programs compute?
• A structural approach to reversible computation
• Information effects

Cited in

(16)

• Reversible computation in term rewriting
• A theory of reversibility for Erlang
• \(\mathsf{CoreFun}\): a typed functional reversible core language
• A class of recursive permutations which is primitive recursive complete
• From reversible programs to univalent universes and back
• A programmable editor for developing structured documents based on bidirectional transformations
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible computing from a programming language perspective
• Describing and Optimising Reversible Logic Using a Functional Language
• Merging hierarchically-structured documents in workflow systems
• Information effects
• Toward an energy efficient language and compiler for (partially) reversible algorithms
• scientific article; zbMATH DE number 7447776 (Why is no real title available?)
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• PisoLang: a user-friendly reversible programming language with inductive types
• Fundamentals of reversible flowchart languages

This page was built for publication: An injective language for reversible computation

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