Summary: Semantics-based parallel cost models and their use in
provably e cient implementations
April 26, 1997
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial ful llment of the requirements
for the degree of Doctor of Philosophy.
Guy Blelloch, Chair
Guy Steele, Jr., Sun Microsystems
Copyright 1997 c John Greiner
This research was sponsored in part by the Wright Laboratory, Aeronautical Systmes Center, Air Force
Materiel Command, USAF, and the Advanced Research Projects Agency (ARPA) under grand number
F33615-93-1-1330 and contract number F19628-91-C-0168. It was also supported in part by an NSF Young
Investigator Award and by Finmeccanica.