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
Doug Kimelman, Dror Zernik
WPADD 1993
Conference paper
Programming with angelic nondeterminism
Rastislav Bodik, Satish Chandra, et al.
POPL 2010
Andrew P. Black, Theo D'Hondt, et al.
SPLASH 2012