A practical algorithm for static analysis of parallel programs
- 1 June 1989
- journal article
- Published by Elsevier in Journal of Parallel and Distributed Computing
- Vol. 6 (3) , 515-536
- https://doi.org/10.1016/0743-7315(89)90004-x
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Anomaly Detection in Concurrent Software by Static Data Flow AnalysisIEEE Transactions on Software Engineering, 1980