"Selective control-flow abstraction via jumping."

Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan (2015)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics