Symbolic data race detection for Habanero programs
| Autor: | Namakonov, Egor, Mercer, Eric, Parizek, Pavel, Storey, Kyle |
|---|---|
| Zdroj: | ACM SIGSOFT Software Engineering Notes; December 2019, Vol. 44 Issue: 4 p18-18, 1p |
| Databáze: | Supplemental Index |
| Externí odkaz: |
|