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}, }