Note on the current research on 
    total reversible programming languages

Research members:
   Dipartimento di Informatica, Universita` di Torino:
      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.