Found 1 document(s)
Page 1 of 1
-
The Reversible Intermediate Language L4, its Type System, and its Bidirectional Small-Step SemanticsL4 is a generic, reversible, linearly-typed, low-level language intended as an intermediate language for compiling reversible programming languages to reversible machines. L4 is intended to replace and generalise RSSA, a...