Home | Contact
Program Inversion and Reversible Computation

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




[1]Yokoyama, T.; Axelsen, H. B. and Glück, R. Fundamentals of reversible flowchart languages. In Theoretical Computer Science, 611: 87-115, 2016.