Mehrdad Afshari, Earl T. Barr, Zhendong Su. Liberating the programmer with prorogued programming. In Gary T. Leavens, Jonathan Edwards, editors, ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2012, part of SPLASH '12, Tucson, AZ, USA, October 21-26, 2012. pages 11-26, ACM, 2012. [doi]
Abstract is missing.