1 paper
Ivan Lanese, Germán Vidal
Janus is a paradigmatic example of a reversible programming language. Indeed, Janus programs can be executed backwards as well as forwards. However, its current small-step semantic…