38 citations · 145 across the 24 of their papers we have counts for
1 paper · 2 filters
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…