Partial Evaluation of Reversible Flowchart Programs

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

Dokumenter

  • Fulltext

    Forlagets udgivne version, 731 KB, PDF-dokument

Flowchart languages are traditionally used to study the foundations of partial evaluation. This article presents a systematic and formal development of a method for partial evaluation of a reversible flowchart language. The results confirm that partial evaluation in this unconventional computing paradigm shows effects consistent with traditional partial evaluation. Experiments include specializing a symmetric encryption algorithm and a reversible interpreter for Bennett's reversible Turing machines. A defining feature of reversible languages is their invertibility. This study reports the first experiments composing program inversion and partial evaluation. The presented method is fully implemented. It is potentially of interest because reversible computing has found applications in areas as diverse as low-power computing, debugging, robotics, and quantum-inspired computing.

OriginalsprogEngelsk
TitelPEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
RedaktørerGabriele Keller, Meng Wang
Antal sider15
ForlagAssociation for Computing Machinery
Publikationsdato2024
Sider119-133
ISBN (Elektronisk)979-8-4007-0487-1
DOI
StatusUdgivet - 2024
Begivenhed2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, in affiliation with the annual Symposium on Principles of Programming Languages, POPL 2024 - London, Storbritannien
Varighed: 16 jan. 2024 → …

Konference

Konference2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, in affiliation with the annual Symposium on Principles of Programming Languages, POPL 2024
LandStorbritannien
ByLondon
Periode16/01/2024 → …
SponsorACM SIGACT, ACM SIGLOG, ACM SIGPLAN

Bibliografisk note

Publisher Copyright:
© 2024 ACM.

ID: 390400066