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

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Standard

Elements of a reversible object-oriented language : work-in-progress report. / Schultz, Ulrik Pagh; Axelsen, Holger Bock.

Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. ed. / Simon Devitt; Ivan Lanese. Springer, 2016. p. 153-159 (Lecture notes in computer science, Vol. 9720).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Harvard

Schultz, UP & Axelsen, HB 2016, Elements of a reversible object-oriented language: work-in-progress report. in S Devitt & I Lanese (eds), Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Springer, Lecture notes in computer science, vol. 9720, pp. 153-159, 8th International Conference on Reversible Computation, Bologna, Italy, 07/07/2016. https://doi.org/10.1007/978-3-319-40578-0_10

APA

Schultz, U. P., & Axelsen, H. B. (2016). Elements of a reversible object-oriented language: work-in-progress report. In S. Devitt, & I. Lanese (Eds.), Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings (pp. 153-159). Springer. Lecture notes in computer science Vol. 9720 https://doi.org/10.1007/978-3-319-40578-0_10

Vancouver

Schultz UP, Axelsen HB. Elements of a reversible object-oriented language: work-in-progress report. In Devitt S, Lanese I, editors, Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Springer. 2016. p. 153-159. (Lecture notes in computer science, Vol. 9720). https://doi.org/10.1007/978-3-319-40578-0_10

Author

Schultz, Ulrik Pagh ; Axelsen, Holger Bock. / Elements of a reversible object-oriented language : work-in-progress report. Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. editor / Simon Devitt ; Ivan Lanese. Springer, 2016. pp. 153-159 (Lecture notes in computer science, Vol. 9720).

Bibtex

@inproceedings{74bd92ced0f340619145ae6e76ed8875,
title = "Elements of a reversible object-oriented language: work-in-progress report",
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.",
author = "Schultz, {Ulrik Pagh} and Axelsen, {Holger Bock}",
year = "2016",
doi = "10.1007/978-3-319-40578-0_10",
language = "English",
isbn = "978-3-319-40577-3",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "153--159",
editor = "Simon Devitt and Ivan Lanese",
booktitle = "Reversible Computation",
address = "Switzerland",
note = "null ; Conference date: 07-07-2016 Through 08-07-2016",

}

RIS

TY - GEN

T1 - Elements of a reversible object-oriented language

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 -

ID: 176375366