A Semantic Foundation for Program Optimization
{'Code': '05010400', 'Directorate': {'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis'}
This research will develop a semantic framework for program                     optimization and parallelization.  Initially, concentration will be on          developing a denotational and an operational semantics for program              dependence graphs, since they are the most important graph-oriented             program representation for parallelizing compilers.  It is intended to          incorporate the semantics into an interactive (Lisp-like) interpreter           (possibly integrated with an editor) that allows a compiler writer to           test ideas about graph transformation and code generation techniques.           Later plans are to extend the operational semantics into a calculus for         the formal verification of graph transformations.
[{'FirstName': 'Matthias', 'LastName': 'Felleisen', 'EmailAddress': 'matthias@ccs.neu.edu', 'StartDate': '08/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Robert', 'LastName': 'Cartwright', 'EmailAddress': 'cork@rice.edu', 'StartDate': '08/01/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'William Marsh Rice University', 'CityName': 'Houston', 'ZipCode': '770051827', 'PhoneNumber': '7133484820', 'StreetAddress': '6100 MAIN ST', 'CountryName': 'United States', 'StateName': 'Texas', 'StateCode': 'TX'}
{'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8807520.xml'}