Small-Step Semantics with Meta-level Reversibility for a Reversible Core Language.

Toya Makino, Tetsuo Yokoyama

Browse the full RC paper archive.