The Operational Semantics of Parallel Functional Programs
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis', 'PO_EMAI': None, 'PO_PHON': None}
Reasoning about the operational behavior of programs written in                 languages whose parallelism is implicit can be difficult.  This is true         for purely functional languages, logic programming languages, and even          imperative languages such as Fortran (when used with a vectorizing              compiler).  Research is proposed to study formal methods for expressing         the operational semantics of parallel (and in particular functional)            programs.  More specifically, an investigation of the suitability of            pomsets for this purpose is proposed.  A symbiotic goal is the use of           the formal tools to reason about and guide the design of meta-                  linguistic devices (such as annotations) to refine operational                  behavior.   The research includes addressing deficiencies in previous           pomset semantics; applying pomsets in new operational setting; the              development of a notion of systems semantics to capture program,                compiler, and machine; and the development of abstraction techniques to         allow compile-time inferencing of operational behavior.
{'FirstName': 'Paul', 'LastName': 'Hudak', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Paul Hudak', 'EmailAddress': 'paul.hudak@yale.edu', 'NSF_ID': '000227990', 'StartDate': '11/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Yale University', 'CityName': 'NEW HAVEN', 'ZipCode': '065113572', 'PhoneNumber': '2037854689', 'StreetAddress': '150 MUNSON ST', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Connecticut', 'StateCode': 'CT', 'CONGRESSDISTRICT': '03', 'CONGRESS_DISTRICT_ORG': 'CT03', 'ORG_UEI_NUM': 'FL6GV84CKN57', 'ORG_LGL_BUS_NAME': 'YALE UNIV', 'ORG_PRNT_UEI_NUM': 'FL6GV84CKN57'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8809919.xml'}