RL/SRL: Reversible flowchart languages

RL (Reversible Language) and SRL (Structured Reversible Language) are reversible programming languages formalized by Holger Bock Axelsen, Tetsuo Yokoyama, and Robert Glück. 

An interpreter was implemented for each of the two languages by Lars Vadgaard and Anders Jørgensen in 2018. A more recent (and more user-friendly) web interface has been implemented by Lars Vadgaard.

You can try the interface here

Articles

2016