Reversible Programs Have Reversible Semantics
- 11 August 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Constructing a binary tree from its traversals by reversible recursion and iterationInformation Processing Letters, 2019
- Reversing Parallel Programs with Blocks and ProceduresElectronic Proceedings in Theoretical Computer Science, 2018
- Reversible Cellular Automata: From Fundamental Classical Results to Recent DevelopmentsNew Generation Computing, 2018
- A Categorical Foundation for Structured Reversible Flowchart LanguagesElectronic Notes in Theoretical Computer Science, 2018
- Reversible Nondeterministic Finite AutomataLecture Notes in Computer Science, 2017
- A Minimalist's Reversible While LanguageIEICE Transactions on Information and Systems, 2017
- Information effectsACM SIGPLAN Notices, 2012
- Reversible Machine Code and Its Abstract Processor ArchitectureLecture Notes in Computer Science, 2007
- Restriction categories III: colimits, partial limits and extensivityMathematical Structures in Computer Science, 2007
- Revisiting an automatic program inverter for LispACM SIGPLAN Notices, 2005