Towards a unified language architecture for reversible object-oriented programming
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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.
Original language | English |
---|---|
Title of host publication | Reversible Computation. : 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings |
Editors | Shigeru Yamashita, Tetsuo Yokoyama |
Number of pages | 11 |
Publisher | Springer |
Publication date | 2021 |
Pages | 96-106 |
ISBN (Print) | 9783030798369 |
DOIs | |
Publication status | Published - 2021 |
Event | 13th International Conference on Reversible Computation, RC 2021 - Virtual, Online Duration: 7 Jul 2021 → 8 Jul 2021 |
Conference
Conference | 13th International Conference on Reversible Computation, RC 2021 |
---|---|
By | Virtual, Online |
Periode | 07/07/2021 → 08/07/2021 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12805 LNCS |
ISSN | 0302-9743 |
ID: 279714722