Eliminating partially dead code in explicitly parallel programs
- 6 April 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 196 (1-2) , 365-393
- https://doi.org/10.1016/s0304-3975(97)00208-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Parallelism for freeACM Transactions on Programming Languages and Systems, 1996
- Optimal code motionACM Transactions on Programming Languages and Systems, 1994
- Frameworks for abstract interpretationActa Informatica, 1993
- Efficient and correct execution of parallel programs that share memoryACM Transactions on Programming Languages and Systems, 1988
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, 1979
- Monotone data flow analysis frameworksActa Informatica, 1977
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942