Reversible Flowchart Languages and the Structured Reversible Program Theorem.

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck

Browse the full ICALP paper archive.