Computational Aspects of Rewrite Operations
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'S. Kamal Abdali', 'PO_EMAI': None, 'PO_PHON': None}
Term rewriting systems have gained considerable attention in recent             years for being a convenient tool in programming languages, automated           deduction, data type specification and verification, computer algebra,          and as a bridge between logic and programming.  The theory of term              rewriting has developed rapidly and new areas of applications are being         explored.  However, not much seems to be known about the computational          aspects of rewrite operations.  This proposal addresses the basic               operations that are pertinent to rewriting and the means to design and          analyze the associated algorithms.  Both practical algorithms and lower         bound complexities, on sequential and parallel machines, will be                studied.  Research in the design of good algorithms for rewrite                 operations will be useful in improving the efficienty of rewrite-based          systems as well as in providing an understanding into the inherent              complexities and limitations of rewrite methods.
[{'FirstName': 'Jieh', 'LastName': 'Hsiang', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jieh Hsiang', 'EmailAddress': 'hsiang@sbcs.sunysb.edu', 'NSF_ID': '000182515', 'StartDate': '07/15/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'IV', 'LastName': 'Ramakrishnan', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'IV Ramakrishnan', 'EmailAddress': 'ram@cs.stonybrook.edu', 'NSF_ID': '000365929', 'StartDate': '07/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}]
{'Name': 'SUNY at Stony Brook', 'CityName': 'STONY BROOK', 'ZipCode': '117940001', 'PhoneNumber': '6316329949', 'StreetAddress': 'W5510 FRANKS MELVILLE MEMORIAL L', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'NY01', 'ORG_UEI_NUM': 'M746VC6XMNH9', 'ORG_LGL_BUS_NAME': 'THE RESEARCH FOUNDATION FOR THE STATE UNIVERSITY OF NEW YORK', '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': '2865', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}, {'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '2890', 'Text': 'CISE Research Resources'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}, {'Code': '9145', 'Text': 'SPECIAL PROGRAMS-RESERVE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8805734.xml'}