Static dependency analysis for concurrent Ada 95 programs

DOI10.1007/3-540-48046-3_17MaRDI QIDQ3045871zbMATH OpenFDO

Authors Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2361/23610219.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Dependence analysis of concurrent programs based on reachability graph and its applications
• scientific article; zbMATH DE number 4064447
• scientific article; zbMATH DE number 1822437
• Program analysis to support concurrent programming in declarative languages
• scientific article; zbMATH DE number 871156

Cited in

(2)

• scientific article; zbMATH DE number 871156 (Why is no real title available?)
• Dependence analysis of concurrent programs based on reachability graph and its applications

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Static dependency analysis for concurrent Ada 95 programs

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