Program analysis for reversible languages

Uwe Meyer, Niklas Deworetzki

Appearing at SOAP: State of the Art in Program Analysis