General-purpose algorithm for analyzing concurrent programs
Journal Article
·
· Commun. ACM; (United States)
Developing and verifying concurrent programs presents several problems. A static analysis algorithm is presented 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. 14 references.
- Research Organization:
- Univ. of Victoria, British Columbia, Canada
- OSTI ID:
- 5342617
- Journal Information:
- Commun. ACM; (United States), Journal Name: Commun. ACM; (United States) Vol. 5; ISSN CACMA
- Country of Publication:
- United States
- Language:
- English
Similar Records
Processes, tasks, and monitors: a comparative study of concurrent programming primitives
Design of a distributed concurrent simulation environment
Ada concurrent programming
Journal Article
·
Fri Jul 01 04:00:00 UTC 1983
· IEEE Trans. Software Eng.; (United States)
·
OSTI ID:5304386
Design of a distributed concurrent simulation environment
Thesis/Dissertation
·
Wed Jan 01 04:00:00 UTC 1986
·
OSTI ID:7127167
Ada concurrent programming
Book
·
Sun Jan 01 04:00:00 UTC 1984
·
OSTI ID:6189452