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.
OriginalsprogEngelsk
TitelReversible Computation. : 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings
RedaktørerShigeru Yamashita, Tetsuo Yokoyama
Antal sider11
ForlagSpringer
Publikationsdato2021
Sider96-106
ISBN (Trykt)9783030798369
DOI
StatusUdgivet - 2021
Begivenhed13th International Conference on Reversible Computation, RC 2021 - Virtual, Online
Varighed: 7 jul. 20218 jul. 2021

Konference

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

Bibliografisk note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

ID: 279714722