Search
Now showing items 1-1 of 1
(Research report / Forskningsrapport, 2011)
Deadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to statically analyze the program code to spot sources of potential deadlocks. ...