Elements of a reversible object-oriented language: work-in-progress report

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Ulrik Pagh Schultz
  • Holger Bock Axelsen

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 languageEnglish
Title of host publicationReversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
EditorsSimon Devitt, Ivan Lanese
Number of pages7
PublisherSpringer
Publication date2016
Pages153-159
ISBN (Print)978-3-319-40577-3
ISBN (Electronic)978-3-319-40578-0
DOIs
Publication statusPublished - 2016
Event8th International Conference on Reversible Computation - Bologna, Italy
Duration: 7 Jul 20168 Jul 2016
Conference number: 8

Conference

Conference8th International Conference on Reversible Computation
Nummer8
LandItaly
ByBologna
Periode07/07/201608/07/2016
SeriesLecture notes in computer science
Volume9720
ISSN0302-9743

ID: 176375366