From reversible programming languages to reversible metalanguages

DOI10.1016/J.TCS.2022.02.024MaRDI QIDQ2139051zbMATH OpenOpenAlexFDO

Authors Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Publication date 17 May 2022

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

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

zbMATH Keywords

formal semanticsiterationpartial injective functionsrecursionreversible programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Reversible Programs Have Reversible Semantics
• Reversible computing from a programming language perspective
• Towards a reversible functional language
• A categorical foundation for structured reversible flowchart languages
• A certified study of a reversible programming language

Cites work

• A calculus for local reversibility
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• A certified study of a reversible programming language
• A structural approach to reversible computation
• A survey of graphical languages for monoidal categories
• Condition/decision duality and the internal logic of extensive restriction categories
• Constructing a binary tree from its traversals by reversible recursion and iteration
• En garde! Unguarded iteration for reversible computation in the delay monad
• Fundamentals of reversible flowchart languages
• Geometry of interaction and the dynamics of proof reduction: a tutorial
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 19494 (Why is no real title available?)
• Information effects
• Inversion, iteration, and the art of dual wielding
• Join inverse categories and reversible recursion
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• Reversible computing and cellular automata -- a survey
• Reversible Machine Code and Its Abstract Processor Architecture
• Reversible nondeterministic finite automata
• Reversing parallel programs with blocks and procedures
• Towards a reversible functional language
• Traced monoidal categories

Cited in

(4)

• Reversible computing from a programming language perspective
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Tail recursion transformation for invertible functions
• Universal properties of partial quantum maps

Describes a project that uses

Uses Software

• SyReC
• LRinv

This page was built for publication: From reversible programming languages to reversible metalanguages

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