Static analysis of low-level synchronization
- 1 November 1988
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 24 (1) , 100-111
- https://doi.org/10.1145/69215.69225
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- On the adequacy of program dependence graphs for representing programsPublished by Association for Computing Machinery (ACM) ,1988
- Automatic translation of FORTRAN programs to vector formACM Transactions on Programming Languages and Systems, 1987
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- Programming for ParallelismComputer, 1987
- Automatic decomposition of scientific programs for parallel executionPublished by Association for Computing Machinery (ACM) ,1987
- Structuring parallel algorithms in an MIMD, shared memory environmentParallel Computing, 1986
- Synchronization and control of parallel algorithmsParallel Computing, 1985
- Incremental compilation of optimized codePublished by Association for Computing Machinery (ACM) ,1985
- Dependence graphs and compiler optimizationsPublished by Association for Computing Machinery (ACM) ,1981
- Monotone data flow analysis frameworksActa Informatica, 1977