"First-Order Semantics of Iterative Programs"
{'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}
Control categories provide a first-order framework for the denotational         semantics of control structures in which programs are represented by            algebraic expressions. The main innovation is the emphasis of an                axiomatized case statement in terms of which program simplification has         points in common with the manipulation of linear combinations in                noncommutative ring theory.  Assertion semantics is deduced and the             Dijkstra composition rule is equivalent to determinism.  Under                  development is a theory of canonical form based on algebraic reduction,         matrix similarity invariants and equational and first-order                     characterization.                                                                                                                                               The thesis is that lines of attack familiar to algebraists find new             applications in theoretical computer science.  Module-theoretic ideas           applied to a simplified model express conditional statements in terms           of guard action, leading to a canonical form expressed as a linear              combination.  A first-order axiomatization of iteration discovered with         Arbib in 1978 emphasizes how iteration transforms and this leads to a           proposed transformation theory analogous to techniques used to solve            linear differential equations.                                                                                                                                  The P.I. is a highly respected contributor to mathematical aspects of           computer science.  The proposed work is expected to make a useful               contribution to computer science especially as it expands the                   understanding of the concept of control categories as introduced                recently by the P.I.                                                            JUSTIFICATION
{'FirstName': 'Ernest', 'LastName': 'Manes', 'PI_MID_INIT': 'G', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ernest G Manes', 'EmailAddress': 'manes@math.umass.edu', 'NSF_ID': '000451070', 'StartDate': '08/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Massachusetts Amherst', 'CityName': 'AMHERST', 'ZipCode': '010039252', 'PhoneNumber': '4135450698', 'StreetAddress': '101 COMMONWEALTH AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Massachusetts', 'StateCode': 'MA', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'MA02', 'ORG_UEI_NUM': 'VGJHK59NMPK9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF MASSACHUSETTS', 'ORG_PRNT_UEI_NUM': 'VGJHK59NMPK9'}
{'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=1987&All=true', 'xml': '8701272.xml'}