Reversible Programs Have Reversible Semantics

Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint

Dive into the research topics of 'Reversible Programs Have Reversible Semantics'. Together they form a unique fingerprint.

Engineering & Materials Science