research
∙
05/02/2022
Reversing an Imperative Concurrent Programming Language
We introduce a method of reversing the execution of imperative concurren...
share
research
∙
05/07/2021
Executable Interval Temporal Logic Specifications
In this paper the reversibility of executable Interval Temporal Logic (I...
research
∙
08/27/2018
Reversing Parallel Programs with Blocks and Procedures
We show how to reverse a while language extended with blocks, local vari...
research
∙
09/04/2017