From reversible programming languages to reversible metalanguages

DOI10.1016/J.TCS.2022.02.024OpenAlexW4213299234MaRDI QIDQ2139051FDOQ2139051

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

iterationrecursionformal semanticspartial injective functionsreversible 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

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 7447775 (Why is no real title available?)
• scientific article; zbMATH DE number 19494 (Why is no real title available?)
• 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
• 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 Machine Code and Its Abstract Processor Architecture
• Reversible computing and cellular automata -- a survey
• Reversible nondeterministic finite automata
• Towards a reversible functional language
• Traced monoidal categories

Cited in

(3)

• Tail recursion transformation for invertible functions
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Reversible computing from a programming language perspective

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)