Elements of a Reversible Object-Oriented Language: Work-in-Progress Report

Ulrik Pagh Schultz, Holger Bock Axelsen

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

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

Conference

Conference8th Conference on Reversible Computation
Number8
Country/TerritoryItaly
CityBologna
Period07/07/201608/07/2016
SeriesLecture Notes in Computer Science
Volume9720
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Elements of a Reversible Object-Oriented Language: Work-in-Progress Report'. Together they form a unique fingerprint.

Cite this