View in EDS

Two birds one stone: Effective static detection of resource and communication deadlocks in Rust programs.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first