An Automated System for Deriving Efficient Parallel Programs
{'Code': '05010000', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'John D. Gannon'}
Under this project a prototype derivation system for scientific                 programs, designed to facilitate the production of efficient                    implementations on parallel processors will be developed.  The system           will be based upon a "wide-spectrum" language that supports all phases          of the software development process including specification, design,            prototyping, optimization, testing, debugging and maintenance.                                                                                                  Building on their previous work on the scientific programming systems -          the R programming environment, the R validation system, the Russell            compiler and the PFC system for automatic detection of parallelsism -           the project team will implement a sophisticated programming environment         to provide automatic or semi-automatic support for program                      transformation and refinement at all stages of the derivation process.          It will be possible to augment the environment's standard                       transformation support by producing libraries of design rules written           in the wide-spectrum language itself and mechanisms for validation of           refinement steps will be built in at every level.                                                                                                               To take advantage of the existing base of scientific software, the              system will support the integration of FORTRAN subprograms into                 programs written in the wide-spectrum language.  Furthermore, it will           be possible to translate a low-level dialect of the language to FORTRAN         77, extended by the inclusion of primitives for the explicit                    specification of parallelism.  The resulting FORTRAN program, typically         consisting of many small procedures, can be optimized to high                   efficiency using interprocedural analysis and optimization techniques           developed for the R project.
[{'FirstName': 'Ken', 'LastName': 'Kennedy', 'EmailAddress': 'ken@rice.edu', 'StartDate': '10/15/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Robert', 'LastName': 'Cartwright', 'EmailAddress': 'cork@rice.edu', 'StartDate': '10/15/1987', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}, {'FirstName': 'Hans-Juergen', 'LastName': 'Boehm', 'EmailAddress': None, 'StartDate': '10/15/1987', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'William Marsh Rice University', 'CityName': 'Houston', 'ZipCode': '770051827', 'PhoneNumber': '7133484820', 'StreetAddress': '6100 MAIN ST', 'CountryName': 'United States', 'StateName': 'Texas', 'StateCode': 'TX'}
[{'Code': '2569', 'Text': None}, {'Code': '2756', 'Text': None}, {'Code': '2875', 'Text': 'SYSTEM SOFTWARE'}, {'Code': '3243', 'Text': None}, {'Code': '3680', 'Text': None}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8720277.xml'}