@TechReport{Dartmouth:TR92-186,
  author = {Deb Banerjee},
  title = {{Formal Implementation of High-Level Languages for Data-Parallel Programming}},
  institution = {Dartmouth College, Computer Science},
  address = {Hanover, NH},
  number = {PCS-TR92-186},
  year = {1992},
  URL = {http://www.cs.dartmouth.edu/reports/TR92-186.pdf},
  abstract = {
      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.
  }
}