Programming with angelic nondeterminism

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 ◽

10.1145/1706299.1706339 ◽

2010 ◽

Cited By ~ 15

Author(s):

Rastislav Bodik ◽

Satish Chandra ◽

Joel Galenson ◽

Doug Kimelman ◽

Nicholas Tung ◽

...

Download Full-text