Correct Flow Analysis in Continuation Semantics
{'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}
The goal of semantics-directed compilation is to develop an efficient           implementation from a formal definition in such a way that correctness          can be verified.  Denotational semantics is a formally-based notation           which has been used to describe compilers; however, most of the work            done thus far has dealt with code generation.  Recent results show how          denotational semantics can be used to model other phases of compilation         besides code generation.  As background, a specification and  proof of          correctness of an optimizing compiler is given for a block-structured           language with loops.  Semantics-preserving transformations are used to          convert a continuation semantics into a formal description of a                 compiler which does some simple optimizations based on type analysis.           Both the flow analysis and code generation are proved correct with              respect to the source language semantics.  This project will extend             this methodology to derive provably correct specifications of more              realistic compilers.
{'FirstName': 'Margaret', 'LastName': 'Montenyohl', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Margaret Montenyohl', 'EmailAddress': None, 'NSF_ID': '000249607', 'StartDate': '11/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Louisiana at Lafayette', 'CityName': 'LAFAYETTE', 'ZipCode': '705032014', 'PhoneNumber': '3374825811', 'StreetAddress': '104 E UNIVERSITY AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Louisiana', 'StateCode': 'LA', 'CONGRESSDISTRICT': '03', 'CONGRESS_DISTRICT_ORG': 'LA03', 'ORG_UEI_NUM': 'C169K7T4QZ96', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF LOUISIANA AT LAFAYETTE', 'ORG_PRNT_UEI_NUM': 'C169K7T4QZ96'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '287500', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '912000', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8814431.xml'}