Correct Translation of Data Parallel Assignment onto Array Processors

J. P. Wray, A. Stewart. Correct Translation of Data Parallel Assignment onto Array Processors. Formal Asp. Comput., 6(4):417-439, 1994.

@article{WrayS94,
  title = {Correct Translation of Data Parallel Assignment onto Array Processors},
  author = {J. P. Wray and A. Stewart},
  year = {1994},
  tags = {translation, data-flow},
  researchr = {https://researchr.org/publication/WrayS94},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {6},
  number = {4},
  pages = {417-439},
}