SRL is a reversible programming language conceived as a restriction of imperative programming languages. Each SRL program that mentions n registers defines a bijection on n-tuples of integers. Despite its simplicity, SRL is strong enough to grasp a wide class of computable bijections and to rise non-trivial programming issues. We advance in the study of its expressivity. We show how to choose among alternative program-branches by checking if a given value is positive or negative. So, we answer some longstanding questions that the literature poses. In particular, we prove that SRL is primitive recursive complete and that its program equivalence is undecidable.
CITATION STYLE
Matos, A. B., Paolini, L., & Roversi, L. (2020). On the Expressivity of Total Reversible Programming Languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12227 LNCS, pp. 128–143). Springer. https://doi.org/10.1007/978-3-030-52482-1_7
Mendeley helps you to discover research relevant for your work.