Affiliation:
1. Univ. of California, Irvine
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.
Publisher
Association for Computing Machinery (ACM)
Reference11 articles.
1. Distributed processes
2. Buxton J. N. and Stanning V. Requirements for Ada programming support environments: "Stoneman." Department of Defense Feb. 1980. Buxton J. N. and Stanning V. Requirements for Ada programming support environments: "Stoneman." Department of Defense Feb. 1980.
3. Communicating sequential processes
Cited by
147 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献