| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 424038 | Electronic Notes in Theoretical Computer Science | 2010 | 11 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
