reversible computing

This project presents the latest results of the RC3 research group: An optimizing compiler and interpreter for the reversible programming language Janus as well as a virtual machine for the reversible intermediate language RSSA.

A reversible, performance oriented stack machine with a clean instruction set and a virtual machine implementation.