1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…