Master of Science (MS)
Number of Pages
In the context of this thesis, the name Grasp subsumes three distinct but highly interrelated projects. First of all, Grasp is a programming language that allows the user to define properties of graph-theoretic objects by using high-level nonprocedural descriptions called specifications. Second, Grasp is a translator that converts specifications to standard sequential C functions. Finally, Grasp is a model of computation that has been left largely uninvestigated despite possessing several advantageous properties. Each of these aspects of Grasp is described in a contextually clean and detailed manner, but in the end the theoretical aspects of Grasp are espoused over the formal and practical aspects.
Facilitate; Grasp; Language; Parallel; Program; Synthesis
University of Nevada, Las Vegas
If you are the rightful copyright holder of this dissertation or thesis and wish to have the full text removed from Digital Scholarship@UNLV, please submit a request to email@example.com and include clear identification of the work, preferably with URL.
Gross, Todd Alan, "Grasp--a language to facilitate the synthesis of parallel programs" (1989). UNLV Retrospective Theses & Dissertations. 11.