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.