Programming-in-the-Large for New Paradigm and Multi-ParadigmProgramming Languages
{'Code': '05010400', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Forbes D. Lewis', 'PO_EMAI': None, 'PO_PHON': None}
Programming-in-the-large is concerned with how to combine relatively            small software components into larger, meaningful wholes, in order to           meet particular requirements for functionality and performance with             minimal programming effort.  Techniques for programming-in-the-large are        important because of their potential for reducing the enormous cost of          writing, debugging, and maintaining software, especially for very large         systems.  This research will explore languages and environments                 supporting programming-in-the-large for object-oriented, logic, and             functional programming as well as their combinations, with some                 consideration of requirements for execution on parallel architectures.          The project will build upon previous research on abstract data types, on        multiparadigm programming (e.g., Eqlog, which unifies functional and            logic programming, and FOOPS, which unifies functional and object-              oriented programming) on "logical" programming, and on parameterized            programming and reusable software for environments (OBJ2), and for              ordinary imperative languages.                                                                                                                                                                                                                  Programming systems are growing larger and more complex.  This research         is aimed at establishing the ability to properly manage the construction        and maintenance of enormous systems of programs.
{'FirstName': 'Jose', 'LastName': 'Meseguer', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jose Meseguer', 'EmailAddress': 'meseguer@cs.uiuc.edu', 'NSF_ID': '000170952', 'StartDate': '07/15/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'SRI International', 'CityName': 'MENLO PARK', 'ZipCode': '940253493', 'PhoneNumber': '7032478529', 'StreetAddress': '333 RAVENSWOOD AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '16', 'CONGRESS_DISTRICT_ORG': 'CA16', 'ORG_UEI_NUM': 'SRG2J1WS9X63', 'ORG_LGL_BUS_NAME': 'SRI INTERNATIONAL', 'ORG_PRNT_UEI_NUM': 'SRG2J1WS9X63'}
{'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': '8707155.xml'}