Sound Static Data Race Verification for C: Is the Race Lost?
Saved in:
| Title: | Sound Static Data Race Verification for C: Is the Race Lost? |
|---|---|
| Authors: | Holter, Karoliine1 (AUTHOR) karoliine.holter@ut.ee, Saan, Simmo1 (AUTHOR) simmo.saan@ut.ee, Lam, Patrick2 (AUTHOR) patrick.lam@uwaterloo.ca, Vojdani, Vesal1 (AUTHOR) vesal.vojdani@ut.ee |
| Source: | ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-40. 40p. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3732933 |
