---

    Technical reports on
        total reversible programming languages
    Co-authors: Luca Roversi and Luca Paolini
    Contents not available

---

  .../topic-additional-memory/memory.pdf
      On the additional memory used to ``reversibilize'' computations
         concurrent communicating systems
         reversibilization, backtracking and "additional memory"
         Logical gates / execution stack / Prolog / 
            reversible communicating systems
         Turing machine computations / SRL-likelanguages / 
            entropy and Kolmogorov c.
         "Blank" registers / Additional memory: classification and examples
         Fredkin/Toffoli reversible digital circuits...

  .../topic-diagonalization/diagonaliz.pdf
      Diagonalization techniques applied to SRL like languages
        "Reversible programming languages and micro-reversibility"
         Reversing a SRL machine, execution machine, degree of reversibility
         SRL block rearrangements, commutativity, parallelism and commutativity
         A simple physical system

  .../topic-extra-regs/extra-registers.pdf
      SRL and ESRL languages:    
      (i) are extra registers needed?
      (ii) programs with registers initialized

  .../topic-if-instruction/if-instruction.pdf
      Can the "if" instruction be implemented
      in the SRL/ESRL programming languages?
        see also here: 
           ForSwap languages with 0-initialized registers:
           can the "if" instruction be implemented?
           File: "observations.tex"

  .../topic-kolmogorov/kolgo.pdf
      SRL-like languages and Kolmogorov complexity:
        An arbitrarily high exponential tower
        Time dominated complexity (of configuration)

  .../topic-groups/srl-groups.pdf
      Groups and SRL-like languages
        (includes discussion of Post equivalence problem)

  .../topic-growth/srl-growthSRL.pdf
      On the growth of \srl transformations}
        prove that the asymptotic upper bounds of primitive recursive (PR) 
        functions and of SRL transformations are essentially the same.

  .../topic-languages/languages.pdf
      Can the 'if' instruction be implemented in SRL/ESRL?
        languages, 0 and 0-- regs, stacks, pairings

  .../topic-presentation/presentation.pdf
      Presentation in Turim, May 2017

  .../topic-reduce/proofs.pdf
      SRL like languages: Reductions and results

  .../topic-results/results.pdf
      Decision problems related with SRL-like languages: 
      current status of knowledge

  .../topic-splittable/splittable.pdf
      My (short) notes on subatomic proof systems

  .../topic-tower/tower.pdf
      For each positive integer k there is a SRL program P_k(n,a,b)
      such that, after in the computation P_k(n,0,0), \\
      the final contents of a, of b and of n  
      are all asymptotically larger than
          2 ^ (2 ^ (\ldots (2 ^ n)))
      where the number of 2's is k.

---