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

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

zbMATH Keywords

iterationrecursionformal semanticspartial injective functionsreversible programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

Cited In (3)

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

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)