Sciweavers

36 search results - page 8 / 8
» Composite Abortable Locks
Sort
View
PASTE
2010
ACM
13 years 9 months ago
The RoadRunner dynamic analysis framework for concurrent programs
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
Cormac Flanagan, Stephen N. Freund