7 search results - page 2 / 2 » Detecting Potential Deadlocks with Static Analysis and Run-T... |
SIGSOFT
2008
ACM
14 years 6 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
TSE
2010
13 years 4 months ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...