Conference paper
SPLASH 2010 workshop on flexible modeling tools
Doug Kimelman, Harold Ossher, et al.
OOPSLA 2010
Paper
On-the-Fly Topological Sort—a Basis for Interactive Debugging and Live Visualization of Parallel Programs
Abstract
No abstract available.
Related
Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Doug Kimelman, Marsha Kimelman, et al.
IEEE TSE
Dror Zernik, Marc Snir, et al.
IEEE Software