Abstract
This paper presents initial ideas for the design and implementation of a reversible object-oriented language based on extending Janus with object-oriented concepts such as classes that encapsulate behavior and state, inheritance, virtual dispatching, as well as constructors. We show that virtual dispatching is a reversible decision mechanism easily translatable to a standard reversible programming model such as Janus, and we argue that reversible management of state can be accomplished using reversible constructors. The language is implemented in terms of translation to standard Janus programs.
| Original language | English |
|---|---|
| Title of host publication | Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings |
| Editors | Simon Devitt, Ivan Lanese |
| Number of pages | 7 |
| Publisher | Springer |
| Publication date | 2016 |
| Pages | 153-159 |
| ISBN (Print) | 978-3-319-40577-3 |
| ISBN (Electronic) | 978-3-319-40578-0 |
| DOIs | |
| Publication status | Published - 2016 |
| Event | 8th International Conference on Reversible Computation - Bologna, Italy Duration: 7 Jul 2016 → 8 Jul 2016 Conference number: 8 |
Conference
| Conference | 8th International Conference on Reversible Computation |
|---|---|
| Number | 8 |
| Country/Territory | Italy |
| City | Bologna |
| Period | 07/07/2016 → 08/07/2016 |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 9720 |
| ISSN | 0302-9743 |