Compiler Prototyping Using Logic Programming
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Janet L. Gatton', 'PO_EMAI': None, 'PO_PHON': None}
The primary aim of the proposed research project is to use logic                programming to prototype high-level language compilers which produce            highly optimized code for sequential and parallel machines.  The                proposed areas of research are: (1) program analysis based on abstract          interpretation, (2) optimized code generation for sequential and                parallel logic programs, (3) compile-time and run-time garbage                  collection, (4) graphical debugging and profiling, and (5) compilation          of extensions of Prolog in which unification is replaced by constraint          solving.  The research is focussed on logic programming languages, but          the techniques developed may also be applicable to other programming            language paradigms.
{'FirstName': 'Jacques', 'LastName': 'Cohen', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jacques Cohen', 'EmailAddress': 'jc@cs.brandeis.edu', 'NSF_ID': '000099829', 'StartDate': '03/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Brandeis University', 'CityName': 'WALTHAM', 'ZipCode': '024532728', 'PhoneNumber': '7817362121', 'StreetAddress': '415 SOUTH ST', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Massachusetts', 'StateCode': 'MA', 'CONGRESSDISTRICT': '05', 'CONGRESS_DISTRICT_ORG': 'MA05', 'ORG_UEI_NUM': 'MXLZGAMFEKN5', 'ORG_LGL_BUS_NAME': 'BRANDEIS UNIVERSITY', 'ORG_PRNT_UEI_NUM': 'JLC9RHNT9479'}
{'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'}, {'Code': '2880', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8718989.xml'}