Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Paper
On-the-Fly Topological Sort—a Basis for Interactive Debugging and Live Visualization of Parallel Programs
Abstract
No abstract available.
Related
Sam Adams, Suparna Bhattacharya, et al.
ECOOP 2013
Steven Abrams, Bard Bloom, et al.
IBM Systems Journal
Wim De Pauw, Richard Helm, et al.
ACM SIGPLAN Notices