Note on the current research on 
    total reversible programming languages



Research members:
   Dipartimento di Informatica, Universita` di Torino:
   http://beta.di.unito.it/index.php/english
      Luca Roversi
      Luca Paolini

   Universidade do Porto
   Departamento de Ciencia de Computadores
      Armando Matos

---

Main current research themes:

   - Decidability questions related with the languages SRL and ESRL.
     Program equivalence, fixed points, language extensions.

   - Implementation of the Enigma machine in the ForSwap language.

   - Application of proof theory techniques to the study and design
     of reversible languages.