Open AccessStatic detection of error of double locking of mutex
Author(s) -
Alexey Borodin
Publication year - 2014
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2014-26(3)-5
Subject(s) - semaphore , computer science , lock (firearm) , algorithm , alias , set (abstract data type) , false positive paradox , static analysis , domain (mathematical analysis) , programming language , mathematics , data mining , artificial intelligence , mechanical engineering , mathematical analysis , engineering