Towards a unified language architecture for reversible object-oriented programming

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

A unified language architecture for an advanced reversible object-oriented language is described. The design and implementation choices made for a tree-walking interpreter and source-language inverter are discussed, as well as the integration with an existing monadic parser, type checker and PISA compiler backend. A demonstration of the web interface and the interactions required to interpret, compile and invert reversible object-oriented programs is given. Our aim is that this platform will make reversible programming approachable to a wider community.
TitelReversible Computation. : 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings
RedaktørerShigeru Yamashita, Tetsuo Yokoyama
Antal sider11
ISBN (Trykt)9783030798369
StatusUdgivet - 2021
Begivenhed13th International Conference on Reversible Computation, RC 2021 - Virtual, Online
Varighed: 7 jul. 20218 jul. 2021


Konference13th International Conference on Reversible Computation, RC 2021
ByVirtual, Online
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind12805 LNCS

Bibliografisk note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

ID: 279714722