Dependence analysis of concurrent programs based on reachability graph and its applications

DOI10.1007/978-3-540-24685-5_52MaRDI QIDQ5712879zbMATH OpenOpenAlexFDO

Authors Xiaofang Qi, Baowen Xu

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b97987

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Static dependency analysis for concurrent Ada 95 programs
• scientific article; zbMATH DE number 1407672
• \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
• The dependence condition graph: precise conditions for dependence between program points
• scientific article; zbMATH DE number 3876561

Cited in

(4)

• \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs
• Static dependency analysis for concurrent Ada 95 programs
• Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
• scientific article; zbMATH DE number 969979 (Why is no real title available?)

This page was built for publication: Dependence analysis of concurrent programs based on reachability graph and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5712879)