Towards a unified language architecture for reversible object-oriented programming
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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.
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation. : 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings |
Redaktører | Shigeru Yamashita, Tetsuo Yokoyama |
Antal sider | 11 |
Forlag | Springer |
Publikationsdato | 2021 |
Sider | 96-106 |
ISBN (Trykt) | 9783030798369 |
DOI | |
Status | Udgivet - 2021 |
Begivenhed | 13th International Conference on Reversible Computation, RC 2021 - Virtual, Online Varighed: 7 jul. 2021 → 8 jul. 2021 |
Konference
Konference | 13th International Conference on Reversible Computation, RC 2021 |
---|---|
By | Virtual, Online |
Periode | 07/07/2021 → 08/07/2021 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 12805 LNCS |
ISSN | 0302-9743 |
Bibliografisk note
Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
ID: 279714722