Implementing reversible object-oriented language features on reversible machines

Tue Haulund; Torben Ægidius Mogensen; Robert Glück

doi:10.1007/978-3-319-59936-6_5

Implementing reversible object-oriented language features on reversible machines

Tue Haulund, Torben Ægidius Mogensen, Robert Glück

8 Citations (Scopus)

Abstract

We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware-with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.

Original language	English
Title of host publication	Reversible Computation. Proceedings : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Editors	Iain Phillips, Hafizur Rahaman
Number of pages	8
Publisher	Springer
Publication date	2017
Pages	66-73
ISBN (Print)	978-3-319-59935-9
ISBN (Electronic)	978-3-319-59936-6
DOIs	https://doi.org/10.1007/978-3-319-59936-6_5
Publication status	Published - 2017
Event	9th International Conference on Reversible Computation - Kolkata, India Duration: 6 Jul 2017 → 7 Jul 2017 Conference number: 9

Conference

Conference	9th International Conference on Reversible Computation
Number	9
Country/Territory	India
City	Kolkata
Period	06/07/2017 → 07/07/2017

Series	Lecture notes in computer science
Volume	10301
ISSN	0302-9743

Access to Document

10.1007/978-3-319-59936-6_5

Cite this

Implementing reversible object-oriented language features on reversible machines. / Haulund, Tue; Mogensen, Torben Ægidius ; Glück, Robert.
Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. ed. / Iain Phillips; Hafizur Rahaman. Springer, 2017. p. 66-73 (Lecture notes in computer science, Vol. 10301).

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

Haulund, T, Mogensen, TÆ & Glück, R 2017, Implementing reversible object-oriented language features on reversible machines. in I Phillips & H Rahaman (eds), Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Springer, Lecture notes in computer science, vol. 10301, pp. 66-73, 9th International Conference on Reversible Computation, Kolkata, India, 06/07/2017. https://doi.org/10.1007/978-3-319-59936-6_5

Haulund T, Mogensen TÆ , Glück R. Implementing reversible object-oriented language features on reversible machines. In Phillips I, Rahaman H, editors, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Springer. 2017. p. 66-73. (Lecture notes in computer science, Vol. 10301). doi: 10.1007/978-3-319-59936-6_5

Haulund, Tue ; Mogensen, Torben Ægidius ; Glück, Robert. / Implementing reversible object-oriented language features on reversible machines. Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. editor / Iain Phillips ; Hafizur Rahaman. Springer, 2017. pp. 66-73 (Lecture notes in computer science, Vol. 10301).

@inproceedings{c48187ac37fc495aa93de826c61b2bfb,

title = "Implementing reversible object-oriented language features on reversible machines",

abstract = "We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware-with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.",

author = "Tue Haulund and Mogensen, {Torben {\AE}gidius} and Robert Gl{\"u}ck",

year = "2017",

doi = "10.1007/978-3-319-59936-6_5",

language = "English",

isbn = "978-3-319-59935-9",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "66--73",

editor = "Iain Phillips and Hafizur Rahaman",

booktitle = "Reversible Computation. Proceedings",

note = "9th International Conference on Reversible Computation, RC 2017 ; Conference date: 06-07-2017 Through 07-07-2017",

}

TY - GEN

T1 - Implementing reversible object-oriented language features on reversible machines

AU - Haulund, Tue

AU - Mogensen, Torben Ægidius

AU - Glück, Robert

N1 - Conference code: 9

PY - 2017

Y1 - 2017

N2 - We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware-with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.

AB - We extend the reversible language Janus with support for class-based object-oriented programming, class inheritance and subtype-polymorphism. We describe how to implement these features on reversible hardware-with emphasis on the implementation of reversible dynamic dispatch using virtual method tables. Our translation is effective (i.e. garbage-free) and we demonstrate its practicality by implementation of a fully-featured compiler targeting the reversible assembly language PISA.

U2 - 10.1007/978-3-319-59936-6_5

DO - 10.1007/978-3-319-59936-6_5

M3 - Article in proceedings

SN - 978-3-319-59935-9

T3 - Lecture notes in computer science

SP - 66

EP - 73

BT - Reversible Computation. Proceedings

A2 - Phillips, Iain

A2 - Rahaman, Hafizur

PB - Springer

T2 - 9th International Conference on Reversible Computation

Y2 - 6 July 2017 through 7 July 2017

ER -

Implementing reversible object-oriented language features on reversible machines

Abstract

Conference

Access to Document

Fingerprint

Cite this