From reversible programming languages to reversible metalanguages

DOI10.1016/J.TCS.2022.02.024OpenAlexW4213299234MaRDI QIDQ2139051

Robin Kaarsgaard, Tetsuo Yokoyama, Robert Glück

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

iterationformal semanticsrecursionpartial injective functionsreversible programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Tail recursion transformation for invertible functions ⋮ Reversible computing from a programming language perspective

Uses Software

• SyReC
• LRinv

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Join inverse categories and reversible recursion
• Fundamentals of reversible flowchart languages
• Reversible computing and cellular automata -- a survey
• Restriction categories II: Partial map classification
• Reversible nondeterministic finite automata
• Condition/decision duality and the internal logic of extensive restriction categories
• En garde! Unguarded iteration for reversible computation in the delay monad
• Constructing a binary tree from its traversals by reversible recursion and iteration
• A structural approach to reversible computation
• Towards a Reversible Functional Language
• Information effects
• A Survey of Graphical Languages for Monoidal Categories
• Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
• A Calculus for Local Reversibility
• Reversible Machine Code and Its Abstract Processor Architecture
• A Certified Study of a Reversible Programming Language
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
• Traced monoidal categories
• Inversion, Iteration, and the Art of Dual Wielding
• Restriction categories III: colimits, partial limits and extensivity

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