Towards a unified language architecture for reversible object-oriented programming

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
Title of host publicationReversible Computation. : 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings
EditorsShigeru Yamashita, Tetsuo Yokoyama
Number of pages11
PublisherSpringer
Publication date2021
Pages96-106
ISBN (Print)9783030798369
DOIs
Publication statusPublished - 2021
Event13th International Conference on Reversible Computation, RC 2021 - Virtual, Online
Duration: 7 Jul 20218 Jul 2021

Conference

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

ID: 279714722