Relational Heuristics for the Design of Deterministic       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}
The purpose of this project is to further investigate the nature of             programming.  Insights gained into the nature of programming can be used        to improve the technology of structured programming, and, in time,              facilitate the development of automatic programmers.  The approach taken        is based on Tarski's algebra of relations.  In this approach, program           construction is viewed in terms of solving equations in the algebra of          relations.  Since the algebra of relations is not sufficiently                  structured, these equations cannot be solved systematically.  The               essence of this project is to derive a network of heuristics for solving        these equations.                                                                                                                                                The task of programming digital computers is complex.  Recent advances          in structured programming have provided ways to control this complexity,        but much work remains to be done.  New advances that contribute to the          simplification and systematization of the programming process can make a        broad multi-disciplinary impact.
{'FirstName': 'Fatma', 'LastName': 'Mili', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Fatma Mili', 'EmailAddress': 'fmili@purdue.edu', 'NSF_ID': '000312127', 'StartDate': '07/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Oakland University', 'CityName': 'Rochester', 'ZipCode': '483094401', 'PhoneNumber': '2483704116', 'StreetAddress': '530 Wilson Hall', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Michigan', 'StateCode': 'MI', 'CONGRESSDISTRICT': '11', 'CONGRESS_DISTRICT_ORG': 'MI11', 'ORG_DUNS_NUM': '041808262', 'ORG_LGL_BUS_NAME': 'OAKLAND UNIVERSITY', 'ORG_PRNT_DUNS_NUM': '041808262'}
{'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=1987&All=true', 'xml': '8706124.xml'}