Static conflict analysis for multi-threaded object-oriented programs
- 9 May 2003
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 38 (5), 115-128
- https://doi.org/10.1145/780822.781145
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Scientific data repositoriesPublished by Association for Computing Machinery (ACM) ,2003
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Effective synchronization removal for JavaPublished by Association for Computing Machinery (ACM) ,2000
- How to make a correct multiprocess program execute correctly on a multiprocessorIEEE Transactions on Computers, 1997
- Non-concurrency analysisPublished by Association for Computing Machinery (ACM) ,1993
- Concurrency analysis in the presence of procedures using a data-flow frameworkPublished by Association for Computing Machinery (ACM) ,1991
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- MonitorsCommunications of the ACM, 1974