A Reversible Semantics for Janus

Researchers present a new reversible small-step semantics for Janus, a paradigmatic reversible programming language. The novel approach solves the problem of information loss during forward computation while maintaining equivalence to previous semantics.