Linear programs in a simple reversible language

Fundamentals of reversible flowchart languages

“…Point-free functional language Inv [50] and Π [12,34], are also reversible in a sense. The simple imperative language (E)SRL [42] also belongs to the class of reversible languages. The control flow operators in high-level imperative reversible languages like Janus, SyRec, R, Gries' invertible language, and (E)SRL, are all instances of the structured reversible CFOs in Fig.…”

“…It is our hope that the fundamentals of reversible flowchart languages, presented in this paper, will encourage further development of reversible computing systems. The work is part of a larger effort on the development of reversible computing systems including reversible logic gates and their physical realization [18,61,54], computer architectures [7,58], programming languages and abstract machines [2,42,48]). ' …”

Reversible Programming Languages Capturing Complexity Classes

“…Intuitively, it should be clear that RBS programs are reversible in a very strong sense. RBS is an inherently reversible programming language in the terminology of Matos [14]. If we like, we can of course state this insight more formally.…”

“…The author is not aware of any work in reversible computing that is closely related to the work presented above, but some work of Matos [14] is at least faintly related. Matos characterizes the primitive recursive functions by an inherently reversible loop-language.…”

Reversibility for Quantum Programming Language QML

“…reversibilidad en un modelo de circuito que utiliza compuertas cuánticas con las características mencionadas, podría resultar natural, porque hay un registro de las operaciones aplicadas y tal operación reversible ejecutada dos veces permitiría regresar al valor inicial. Sin embargo, en un lenguaje de programación donde las operaciones realizadas no están almacenadas explícitamente, la reversibilidad no es trivial [22], [34]- [36]. Para esto, varios autores han trabajado la reversibilidad aplicada a la computación clásica y cuántica, modelando a través de diagramas de flujo reversibles [31], almacenando en una pila las operaciones aplicadas [18], definiendo funciones inversas, entre otras [22], [26]- [29], [36], [37].…”