A general-purpose algorithm for analyzing concurrent programs
- 1 May 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 26 (5) , 361-376
- https://doi.org/10.1145/69586.69587
Abstract
Developing and verifying concurrent programs presents several problems. A static analysis algorithm is presented here that addresses the following problems: how processes are synchronized, what determines when programs are run in parallel, and how errors are detected in the synchronization structure. Though the research focuses on Ada, the results can be applied to other concurrent programming languages such as CSP.Keywords
This publication has 6 references indexed in Scilit:
- Anomaly Detection in Concurrent Software by Static Data Flow AnalysisIEEE Transactions on Software Engineering, 1980
- Distributed processesCommunications of the ACM, 1978
- Communicating sequential processesCommunications of the ACM, 1978
- HAL/S - The Avionics Programming System for ShuttlePublished by American Institute of Aeronautics and Astronautics (AIAA) ,1977
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- Dave—a validation error detection and documentation system for fortran programsSoftware: Practice and Experience, 1976