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)