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.