BIB-VERSION:: CS-TR-v2.0 ID:: ncstrl.dartmouthcs//TR92-186 ENTRY:: January 20, 1995 ORGANIZATION:: Dartmouth College, Computer Science TITLE:: Formal Implementation of High-Level Languages for Data-Parallel Programming TYPE:: Technical Report (paper) REVISION:: 1 AUTHOR:: Banerjee, Deb NOTE:: The 'January' in DATE is an arbitrary placeholder. DATE:: January 1992 RETRIEVAL:: For a paper copy, email RETRIEVAL:: For a paper copy, write to Technical Report Librarian Department of Computer Science Dartmouth College 6211 Sudikoff Laboratory Hanover, NH 03755-3510 USA RETRIEVAL:: PDF at 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. END:: ncstrl.dartmouthcs//TR92-186