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 Citationer (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.

Originalsprog	Engelsk
Titel	Reversible Computation. Proceedings : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Redaktører	Iain Phillips, Hafizur Rahaman
Antal sider	8
Forlag	Springer
Publikationsdato	2017
Sider	66-73
ISBN (Trykt)	978-3-319-59935-9
ISBN (Elektronisk)	978-3-319-59936-6
DOI	https://doi.org/10.1007/978-3-319-59936-6_5
Status	Udgivet - 2017
Begivenhed	9th International Conference on Reversible Computation - Kolkata, Indien Varighed: 6 jul. 2017 → 7 jul. 2017 Konferencens nummer: 9

Konference

Konference	9th International Conference on Reversible Computation
Nummer	9
Land/Område	Indien
By	Kolkata
Periode	06/07/2017 → 07/07/2017

Navn	Lecture notes in computer science
Vol/bind	10301
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

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

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. red. / Iain Phillips; Hafizur Rahaman. Springer, 2017. s. 66-73 (Lecture notes in computer science, Bind 10301).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Haulund, T, Mogensen, TÆ & Glück, R 2017, Implementing reversible object-oriented language features on reversible machines. i I Phillips & H Rahaman (red), Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Springer, Lecture notes in computer science, bind 10301, s. 66-73, 9th International Conference on Reversible Computation, Kolkata, Indien, 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. I Phillips I, Rahaman H, red., Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Springer. 2017. s. 66-73. (Lecture notes in computer science, Bind 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. red. / Iain Phillips ; Hafizur Rahaman. Springer, 2017. s. 66-73 (Lecture notes in computer science, Bind 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

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater