{"id":{"repo_id":"unlv","oai_identifier":"oai:oasis.library.unlv.edu:rtds-1010"},"canonical_url":"https://search.dev.ndltd.org/etd/unlv/oai:oasis.library.unlv.edu:rtds-1010","repository":{"repo_id":"unlv","name":"University of Nevada - Las Vegas","base_url":"https://oasis.library.unlv.edu/do/oai/"},"display":{"title":"Grasp--a language to facilitate the synthesis of parallel programs","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Gross, Todd Alan"],"institution":"University of Nevada, Las Vegas","degree_name":"Master of Science (MS)","degree_level":"Thesis","degree_discipline":"Computer Science and Electrical Engineering","degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1997,"date_issued":"1997-01-01T08:00:00Z","date_published":"1997-01-01T08:00:00Z","updated_at":"2026-07-24T05:23:59Z","subjects":[],"languages":["English"],"rights":["IN COPYRIGHT. For more information about this rights statement, please visit http://rightsstatements.org/vocab/InC/1.0/"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["https://oasis.library.unlv.edu/rtds/11"],"render_values":[{"text":"https://oasis.library.unlv.edu/rtds/11","href":"https://oasis.library.unlv.edu/rtds/11","code":true}]}]},"links":{"outbound_url":"https://doi.org/10.25669/00ou-e94m","outbound_label":"DOI","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Gross, Todd Alan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["University of Nevada, Las Vegas"]},{"key":"dc:type","label":"Dc Type","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science and Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science (MS)"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["English"]},{"key":"dc:rights","label":"Dc Rights","values":["IN COPYRIGHT. For more information about this rights statement, please visit http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["10.25669/00ou-e94m","https://oasis.library.unlv.edu/rtds/11","https://oasis.library.unlv.edu/context/rtds/article/1010/viewcontent/uc.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format","label":"Dc Format","values":["pdf"]},{"key":"dc:title","label":"Title","values":["Grasp--a language to facilitate the synthesis of parallel programs"]}]}],"canonical_facts":{"dc:creator":["Gross, Todd Alan"],"dc:description.abstract":["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."],"dc:format":["pdf"],"dc:identifier":["10.25669/00ou-e94m","https://oasis.library.unlv.edu/rtds/11","https://oasis.library.unlv.edu/context/rtds/article/1010/viewcontent/uc.pdf"],"dc:language":["English"],"dc:publisher":["University of Nevada, Las Vegas"],"dc:rights":["IN COPYRIGHT. For more information about this rights statement, please visit http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["Grasp--a language to facilitate the synthesis of parallel programs"],"dc:type":["Text"],"thesis:degree_discipline":["Computer Science and Electrical Engineering"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["Master of Science (MS)"]},"updated_at":"2026-07-24T05:23:59Z"}