The Design and Automatic Generation of Modern Program       Development Environments
{'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 project addresses problems in the design and implementation of             interactive program development environments for modern programming             languages.  These environments are specially designed to aid both               novice and experienced programmers in the creation of correct and               reliable programs.  Particular topics to be studied include:                                                                                                    (1) Automatic generation of programming language interpreters from              formal specifications.  Automatic generation of interpreters speeds             their creation and makes them more reliable.  In interactive                    environments, interpreters allow program testing to be intermixed with          program creation and editing.                                                                                                                                   (2) Properties of a program, including variable and type declarations,          can often be inferred from the body of a program.  Such inferencing can         eliminate the tedium of inserting, by hand, redundant information.              Inferencing can also be used to explore the effects of program changes          before they are made.  The automatic selection of alternative library           routines can also be supported.                                                                                                                                 (3) Traditional programming language design techniques are very slow            and error prone.  This project will extend interactive programming              support tools to the realm of language design, supporting interactive           programming language design and evaluation.
{'FirstName': 'Charles', 'LastName': 'Fischer', 'PI_MID_INIT': 'N', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Charles N Fischer', 'EmailAddress': 'Fischer@CS.wisc.edu', 'NSF_ID': '000188095', 'StartDate': '08/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Wisconsin-Madison', 'CityName': 'MADISON', 'ZipCode': '537151218', 'PhoneNumber': '6082623822', 'StreetAddress': '21 North Park Street', 'StreetAddress2': 'Suite 6301', 'CountryName': 'United States', 'StateName': 'Wisconsin', 'StateCode': 'WI', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'WI02', 'ORG_DUNS_NUM': '161202122', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF WISCONSIN SYSTEM', 'ORG_PRNT_DUNS_NUM': '041188822'}
{'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': '8706329.xml'}