Zobrazeno 1 - 2
of 2
pro vyhledávání: '"contracts for concurrency"'
Autor:
Harmim, Dominik
Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomi
Externí odkaz:
http://www.nusl.cz/ntk/nusl-445592
Autor:
Žárský, Jan
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violatio
Externí odkaz:
http://www.nusl.cz/ntk/nusl-445489