Constraints as control.

Ali Sinan Kksal, Viktor Kuncak, Philippe Suter

Browse the full POPL paper archive.