Program analysis for reversible languages.

Niklas Deworetzki, Uwe Meyer

Browse the full PLDI paper archive.