Research Initiation:  Denotational Semantics in Absolute    Logics of Programs
{'Code': '05010100', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Bruce H. Barnes', 'PO_EMAI': None, 'PO_PHON': None}
Research is proposed unifying  denotational semantics of programming            languages with a branch of abstract model theory devoted to the study           of absolute logics.  Specific topics include:  The construction of              absolute versions of denotational semantics of Prolog- and Lisp- like           programming languages Hoare-style inference systems, the comparative            study of program verification methods, domain theory for absolute               denotational semantics the verifying power of the "n times" temporal            logics.                                                                                                                                                         One of the main impacts of the proposed research is  the ability to             characterize the absolute and relative program verifying power and              price (expressed in the strength of the needed theorem prover                   subprogram) of program verification methods for Prolog- and Lisp- like          programming languages as well as the construction of new program                verification methods.
{'FirstName': 'Ana', 'LastName': 'Pasztor', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Ana Pasztor', 'EmailAddress': 'PASZTORA@CS.FIU.EDU', 'NSF_ID': '000206438', 'StartDate': '07/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Florida International University', 'CityName': 'MIAMI', 'ZipCode': '331992516', 'PhoneNumber': '3053482494', 'StreetAddress': '11200 SW 8TH ST', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Florida', 'StateCode': 'FL', 'CONGRESSDISTRICT': '26', 'CONGRESS_DISTRICT_ORG': 'FL26', 'ORG_UEI_NUM': 'Q3KCVK5S9CP1', 'ORG_LGL_BUS_NAME': 'FLORIDA INTERNATIONAL UNIVERSITY', 'ORG_PRNT_UEI_NUM': 'Q3KCVK5S9CP1'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '286000', 'Text': 'THEORY OF COMPUTING'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8807155.xml'}