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. © 2010 Elsevier B.V. All rights reserved.
CITATION STYLE
Yokoyama, T. (2010). Reversible Computation and Reversible Programming Languages. Electronic Notes in Theoretical Computer Science, 253(6), 71–81. https://doi.org/10.1016/j.entcs.2010.02.007
Mendeley helps you to discover research relevant for your work.