Papers

    (almost all papers by Armando B. Matos ;)
  1.   Armando B. Matos, Register reversible languages: commutativity, equivalence and open questions, work in progress
  2.   Armando B. Matos, FAQ about the SRL language, work in progress

  3.   Armando B. Matos, Analysis of a simple reversible language, Theoretical Computer Science, Vol. 290 No. 3, pp 2063-2074. 2003

  4.   A. R. Meyer and D. M. Ritchie, The complexity of loop programs, Proceedings of 22nd National Conference of the ACM, pp 465–469, 1967.

  5.   Armando B. Matos, reversible register languages, slide presentation (pdf)

Back to Armando B. Matos homepage.