NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Towards a formal semantics for Ada 9XThe Ada 9X language precision team was formed during the revisions of Ada 83, with the goal of analyzing the proposed design, identifying problems, and suggesting improvements, through the use of mathematical models. This report defines a framework for formally describing Ada 9X, based on Kahn's 'natural semantics', and applies the framework to portions of the language. The proposals for exceptions and optimization freedoms are also analyzed, using a different technique.
Document ID
19950018214
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Guaspari, David (Odyssey Research Associates, Inc. Ithaca, NY, United States)
Mchugh, John (Odyssey Research Associates, Inc. Ithaca, NY, United States)
Wolfgang, Polak (Odyssey Research Associates, Inc. Ithaca, NY, United States)
Saaltink, Mark (Odyssey Research Associates, Inc. Ithaca, NY, United States)
Date Acquired
September 6, 2013
Publication Date
March 1, 1995
Subject Category
Computer Systems
Report/Patent Number
ORA-TM-95-0044
NAS 1.26:195037
NASA-CR-195037
Accession Number
95N24634
Funding Number(s)
PROJECT: RTOP 505-64-10-56
CONTRACT_GRANT: NAS1-18972
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available