Rastislav BodÃk, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor. Programming with angelic nondeterminism. In Manuel V. Hermenegildo, Jens Palsberg, editors, Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. pages 339-352, ACM, 2010. [doi]
Abstract is missing.