The Mathematical Laws of S*M:  An Axiomatic Specification   Language for Firmware and Architecture Design.
{'Code': '05010300', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Yechezkel Zalcstein', 'PO_EMAI': 'zzalcste@nsf.gov', 'PO_PHON': '7032920000'}
The main results of the PI's work to date are the design and                    implementation of a novel axiomatic, non-procedural language called S*M         for the functional specification of firmware and computer                       architectures.  The implementation of S*M consists of a compiler, a             simulator, and a user interface running on VAX 11/780 UNIXTM                    environment.  S*M has been used extensively to specify the behavior of,         and reason about, firmware and architectures and, consequently,                 considerable understanding of its strengths and limitations has been            gained.  The features of the language have also made it sufficiently            attractive for S*M to have influenced research projects in Colorado             State University (firmware engineering), University of Guelph, Ontario,         Canada (design automation), and the Technical University of Aachen,             West Germany (formal development of multiprocessor designs).                                                                                                    The project continues this work by identifying the basic mathematical           laws of S*M.  These laws will take the form "P = Q" where, P, Q, are            S*M constructs and will mean that, functionally and behaviorally, "P is         the same as Q".  Thus, given an occurrence of P in an S*M description,          one can transform or replace P by the equivalent Q.                                                                                                             These mathematical laws will be such that:                                                                                                                      (i)   All correct specifications in S*M must obey these laws.                                                                                                   (ii)  A correct S*M specification may be transformed into a equivalent               (possibly more concise or more efficient) specification by                 applying these   laws.
{'FirstName': 'Subrata', 'LastName': 'Dasgupta', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Subrata Dasgupta', 'EmailAddress': 'das@cacs.louisiana.edu', 'NSF_ID': '000318844', 'StartDate': '06/15/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Louisiana at Lafayette', 'CityName': 'LAFAYETTE', 'ZipCode': '705032014', 'PhoneNumber': '3374825811', 'StreetAddress': '104 E UNIVERSITY AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Louisiana', 'StateCode': 'LA', 'CONGRESSDISTRICT': '03', 'CONGRESS_DISTRICT_ORG': 'LA03', 'ORG_UEI_NUM': 'C169K7T4QZ96', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF LOUISIANA AT LAFAYETTE', 'ORG_PRNT_UEI_NUM': 'C169K7T4QZ96'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '288000', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}, {'Code': '471500', 'Text': 'COMPUTER SYSTEMS ARCHITECTURE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8719492.xml'}