Precise interprocedural dependence analysis of parallel programs

Markus Müller-Olm. Precise interprocedural dependence analysis of parallel programs. Theoretical Computer Science, 311(1-3):325-388, 2004. [doi]

@article{Muller-Olm04,
  title = {Precise interprocedural dependence analysis of parallel programs},
  author = {Markus Müller-Olm},
  year = {2004},
  doi = {10.1016/j.tcs.2003.09.002},
  url = {http://dx.doi.org/10.1016/j.tcs.2003.09.002},
  tags = {program analysis, analysis, parallel programming},
  researchr = {https://researchr.org/publication/Muller-Olm04},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {311},
  number = {1-3},
  pages = {325-388},
}