Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs.
Saved in:
| Title: | Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs. |
|---|---|
| Authors: | Zhang, Yu1, 2230766@tongji.edu.cn, Zhang, Kaiwen1, 2210133@tongji.edu.cn, Liu, Guanjun1, liuguanjun@tongji.edu.cn, Cai, Yuandao2, ycaibb@cse.ust.hk, Qin, Shengchao3, shengchao.qin@gmail.com |
| Source: | Automated Software Engineering; Dec2026, Vol. 33 Issue 2, p1-33, 33p |
| Database: | Applied Science & Technology Source |
| ISSN: | 09288910 |
|---|---|
| DOI: | 10.1007/s10515-026-00614-z |
