Enforcing Trace Properties by Program Transformation.

Thomas Colcombet, Pascal Fradet

Browse the full POPL paper archive.