Iteration Theories and Data Type Specifications
{'Code': '05010100', '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}
In joint work with Elgot and Wright, the PI used the notion of                  iteration theories in axiomatizing the control structure of flowchart           algorithms.  Iteration theories also appear to provide an                       axiomatization                                                                  for the functorial description of circular abstract data types as               described most recently by Smyth, Lehmann, Plotkin, Arbib &amp; Manes,              and others.  The PI is now investigating the suitability of iteration           theories for the description of abstract data types.  It is being               determined whether the same equational axioms can be used to describe           both the control structure of programs and the structure of the data            types, operations and domains on which the programs operate.  Also              in progress is the development of algorithms for the solution of                problems concerning the equivalence of data type descriptions:  Given           two descriptions (as fixed points of certain endofunctors), do they             describe the "same thing"?  The question is analogous to the question:          Given two flowchart schemes, do they have the save behavior?                    Verification that the connection between iteration theories and                 data types is as the PI expects will show that these two questions are          identical.                                                                                                                                                      The proposed research is expected to lead to an improved understanding          of data types.  The PI has a fine record of related research                    accomplishments.
{'FirstName': 'Stephen', 'LastName': 'Bloom', 'PI_MID_INIT': 'L', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Stephen L Bloom', 'EmailAddress': 'bloom@guinness.cs.stevens-tech.edu', 'NSF_ID': '000215074', 'StartDate': '08/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Stevens Institute of Technology', 'CityName': 'HOBOKEN', 'ZipCode': '07030', 'PhoneNumber': '2012168762', 'StreetAddress': '1 CASTLEPOINT ON HUDSON', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New Jersey', 'StateCode': 'NJ', 'CONGRESSDISTRICT': '08', 'CONGRESS_DISTRICT_ORG': 'NJ08', 'ORG_UEI_NUM': 'JJ6CN5Y5A2R5', 'ORG_LGL_BUS_NAME': 'THE TRUSTEES OF THE STEVENS INSTITUTE OF TECHNOLOGY', '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': '2860', 'Text': 'THEORY OF COMPUTING'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1986&All=true', 'xml': '8620250.xml'}