Clean Translation of an Imperative Reversible Programming Language
No abstract available.
Related papers
- A logical analysis of aliasing in imperative higher-order functions JFP 2007
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- Verified Compilation of Space-Efficient Reversible Circuits CAV 2017
- The Ins and Outs of Clean I/O JFP 1995
- Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation POPL 2022
- Translating imperative code to MapReduce OOPSLA 2014
- Translating canonical SQL to imperative code in Coq OOPSLA 2022
- Adoption and Focus: Practical Linear Types for Imperative Programming PLDI 2002