A relevant application of reversibility is causal-consistent reversible debugging, which allows one to explore concurrent computations backward and forward find a bug. This approach has been put into practice in CauDEr, debugger for the Erlang programming language. CauDEr supports functional, distributed fragment Erlang. However, also includes imperative features manage map (shared among all pr...

Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are relatively well understood, languages and techniques for metaprogramming with them are much less so. This paper presents work in progress on a programming language called Rogue-Sigma-Pi (RSP), in which general programs...

We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the original program. Augmentation saves reversal information into an auxiliary data store, maintaining segregation between this and the program state, while never altering the data store in any other way than that of the orig...