We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Automatically Transform Rust Source to Petri Nets for Checking Deadlocks

Abstract: This paper presents a method of automatically converting source codes (Rust programs) into Petri nets, focusing on the detection of deadlocks caused by the double locks and lock conflicts in the parallel Rust programs. We construct the transformation rules and develop a tool. Our method can omit those Rust codes without relations to locks when scanning the input codes, and thus tool can handle a large-scale code. We do a number of experiments to show the advantages of our method compared with the state-of-the-art ones.
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE)
Cite as: arXiv:2212.02754 [cs.PL]
  (or arXiv:2212.02754v2 [cs.PL] for this version)

Submission history

From: Zhang Kaiwen [view email]
[v1] Tue, 6 Dec 2022 05:11:21 GMT (1023kb)
[v2] Thu, 8 Dec 2022 10:16:39 GMT (1023kb)

Link back to: arXiv, form interface, contact.