Reversible Computation and Reversible Programming Languages |
| |
Authors: | Tetsuo Yokoyama |
| |
Affiliation: | Department of Software Engineering, Nanzan University Seirei-cho 27, Seto city, Aichi 489-0863, Japan |
| |
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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|