Study materials from the International Training School on Reversible Computation, Nicolaus Copernicus University, 28th to 31st August 2017.
A virtual machine with tools from the training school can be found at http://topps.diku.dk/pirc/rev-vm.ova
Setup of this is detailed a sub-directory
- An interpreter for the reversible programming language Janus
- An interpreter for the reversible functional language RFun
- An implementation of a reversible semantics for Erlang
- A tool for reversible computation in C++
- A library and framework for reversible logic synthesis
Concact Michael Kirkedal Thomsen; packed by Miëtek Bak.