Research in Mechanical Theorem Proving
{'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}
This research into automatic theorem proving, program verification and          mechanization of mathematical reasoning will be carried out over a              period of three years.  The basis is the study of logical formalisms            for program verification and mathematical reasoning.  This includes             metamathematical reasoning and the proof checker (implemented at                Stanford under NSF grant MCS-8206565) intensional semantics of                  programming languages and use of theorem proving tools to formalize             semantics as a basis for proving intensional and extensional properties         of programs and for mechanizing (aspects of) programming activities             such as specification, transformation, and modification.  the                   formalisms under study will be implemented using a common software              platform.  This software will be formally specified and proved to meet          its specifications by the techniques to be investigated under the               grant.
{'FirstName': 'John', 'LastName': 'McCarthy', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'John McCarthy', 'EmailAddress': 'mccarthy@cs.stanford.edu', 'NSF_ID': '000453183', 'StartDate': '01/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Stanford University', 'CityName': 'STANFORD', 'ZipCode': '943052004', 'PhoneNumber': '6507232300', 'StreetAddress': '450 JANE STANFORD WAY', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '16', 'CONGRESS_DISTRICT_ORG': 'CA16', 'ORG_UEI_NUM': 'HJD6G4D6TJY5', 'ORG_LGL_BUS_NAME': 'THE LELAND STANFORD JUNIOR UNIVERSITY', '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': '2875', 'Text': 'SYSTEM SOFTWARE'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8718605.xml'}