NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Formal semantic specifications as implementation blueprints for real-time programming languagesFormal definitions of language and system semantics provide highly desirable checks on the correctness of implementations of programming languages and their runtime support systems. If these definitions can give concrete guidance to the implementor, major increases in implementation accuracy and decreases in implementation effort can be achieved. It is shown that of the wide variety of available methods the Hgraph (hypergraph) definitional technique (Pratt, 1975), is best suited to serve as such an implementation blueprint. A discussion and example of the Hgraph technique is presented, as well as an overview of the growing body of implementation experience of real-time languages based on Hgraph semantic definitions.
Document ID
19820026575
Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Feyock, S.
(College of William and Mary Williamsburg, VA, United States)
Date Acquired
August 10, 2013
Publication Date
January 1, 1981
Subject Category
Computer Programming And Software
Report/Patent Number
AIAA PAPER 81-2153
Meeting Information
Meeting: In: Computers in Aerospace Conference
Location: San Diego, CA
Start Date: October 26, 1981
End Date: October 28, 1981
Accession Number
82A10110
Funding Number(s)
CONTRACT_GRANT: NAG1-62
CONTRACT_GRANT: NSG-1626
Distribution Limits
Public
Copyright
Other

Available Downloads

There are no available downloads for this record.
No Preview Available