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

TY - GEN

T1 - Elements of a reversible object-oriented language

T2 - 8th International Conference on Reversible Computation

AU - Schultz, Ulrik Pagh

AU - Axelsen, Holger Bock

N1 - Conference code: 8

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84978880648&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-40578-0_10

DO - 10.1007/978-3-319-40578-0_10

M3 - Article in proceedings

AN - SCOPUS:84978880648

SN - 978-3-319-40577-3

T3 - Lecture notes in computer science

SP - 153

EP - 159

BT - Reversible Computation

A2 - Devitt, Simon

A2 - Lanese, Ivan

PB - Springer

Y2 - 7 July 2016 through 8 July 2016

ER -