A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Reversible Computation and Reversible Programming Languages
2010
Electronical Notes in Theoretical Computer Science
A reversible programming language supports deterministic forward and backward computation. This tutorial focuses on a high-level reversible programming language Janus. In common with other programming paradigms, reversible programming has its own programming methodology. Janus is simple, yet powerful, and its constructs can serve as a model for designing reversible languages in general.
doi:10.1016/j.entcs.2010.02.007
fatcat:jkfz6vwpnncttkhnudpl4r6ze4