Analysis and Optimization of Logic Programs
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'name not available', 'PO_EMAI': None, 'PO_PHON': None}
This project addresses several related issues in the static                analysis and optimization of logic programming languages.  First,               semantic issues underlying the optimization of such languages are being         studied.  This work includes the investigation of different notions of          equivalence between logic programs for program optimization purposes,           and the development of pragma languages to express such information.            Second, a uniform framework for the dataflow analysis of logic programs         is being developed.  We expect this work to both improve our                    understanding of problems underlying the analysis of logic programming          languages, and lead to the development of more efficient and flexible           analysis methods for such languages.  Finally, high-level optimizing            transformations of logic programs are being studied.  The focus here is         on the interaction of such transformations both with the appropriate            notion of program equivalence, and with operational properties of               programs.
{'FirstName': 'Saumya', 'LastName': 'Debray', 'PI_MID_INIT': 'K', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Saumya K Debray', 'EmailAddress': 'debray@cs.arizona.edu', 'NSF_ID': '000120753', 'StartDate': '01/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Arizona', 'CityName': 'TUCSON', 'ZipCode': '85721', 'PhoneNumber': '5206266000', 'StreetAddress': '845 N PARK AVE RM 538', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Arizona', 'StateCode': 'AZ', 'CONGRESSDISTRICT': '07', 'CONGRESS_DISTRICT_ORG': 'AZ07', 'ORG_UEI_NUM': 'ED44Y3W6P7B9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF ARIZONA', 'ORG_PRNT_UEI_NUM': None}
{'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'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8702939.xml'}