Reversible Programs Have Reversible Semantics

Lecture Notes in Computer Science - Formal Methods. FM 2019 International Workshops ◽

10.1007/978-3-030-54997-8_26 ◽

2020 ◽

pp. 413-427

Author(s):

Robert Glück ◽

Robin Kaarsgaard ◽

Tetsuo Yokoyama

Download Full-text