%T Formal Implementation of High-Level Languages for Data-Parallel Programming
%A Deb Banerjee
%R Technical Report PCS-TR92-186
%I Dartmouth College, Computer Science
%C Hanover, NH
%D  1992
%U http://www.cs.dartmouth.edu/reports/TR92-186.pdf
%X
   The success of parallel architectures has been limited by the lack
 of high-level parallel programming languages and useful programming
 models.  The data-parallel model of programming has been demonstrated
 to be useful and natural on a wide variet of parallel architectures.
 This dissertation presents a set of formal techniques for compiling
 high- level languages based on data-parallelism.