Analysis Support for Development of Concurrent Software     Systems
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'John D. Gannon', 'PO_EMAI': None, 'PO_PHON': None}
Developing large-scale, reliable software capable of exploiting the             potential of concurrent and distributed hardware systems will demand            the support of powerful automated tools, especially analysis tools.             The constrained expression approach to analyzing such software systems          seems to have several advantages, including broad applicability and             reasonable efficiency, relative to other proposed approaches.  Results          of initial experiments with the approach, based on manual application           and preliminary prototypes of some of the needed tools, have been               encouraging.  They have also raised some interesting theoretical                questions and demonstrated the need for more extensive experimentation          with large, more realistic examples.  This project is to investigate            ways to improve the efficiency, power, and ease of use of the                   constrained expression approach to analysis.  The goal is to design and         construct the more robust, flexible and efficient prototype tool                implementations needed to support more extensive experimentation, and           begin experimenting with them.
[{'FirstName': 'George', 'LastName': 'Avrunin', 'PI_MID_INIT': 'S', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'George S Avrunin', 'EmailAddress': 'avrunin@math.umass.edu', 'NSF_ID': '000326651', 'StartDate': '07/15/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'Jack', 'LastName': 'Wileden', 'PI_MID_INIT': 'C', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Jack C Wileden', 'EmailAddress': 'wileden@cs.umass.edu', 'NSF_ID': '000324810', 'StartDate': '07/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}]
{'Name': 'University of Massachusetts Amherst', 'CityName': 'AMHERST', 'ZipCode': '010039252', 'PhoneNumber': '4135450698', 'StreetAddress': '101 COMMONWEALTH AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Massachusetts', 'StateCode': 'MA', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'MA02', 'ORG_UEI_NUM': 'VGJHK59NMPK9', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF MASSACHUSETTS', 'ORG_PRNT_UEI_NUM': 'VGJHK59NMPK9'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2880', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8806970.xml'}