• Programming with angelic nonde...

Treffer: Programming with angelic nondeterminism

Title:
Programming with angelic nondeterminism
Authors:
Bodik, Rastislav, Chandra, Satish, Galenson, Joel, Kimelman, Doug, Tung, Nicholas, Barman, Shaon, Rodarmor, Casey
Source:
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :339-352
Availability:
http://dl.acm.org/doi/10.1145/1706299.1706339
Database:
ACM Full-Text Collection