The Formal Definition of a Real-Time Language.

reportActive / Technical Report | Accession Number: ADA058047 | Open PDF

Abstract:

This paper presents the formal definition of TOMAL Task-Oriented Microprocessor Applications Language, a programming language intended for real-time systems running on small processors. The formal definition addresses all aspects of the language. Because some modes of semantic definition seem particularly well-suited to certain aspects of a language, and not as suitable for others, the formal definition employs several, complementary modes of definition.

Author(s):
Hennessy, John L. ; Kieburtz, Richard B.
Author Organization(s):
STANFORD UNIV CALIF STANFORD ELECTRONICS LABS
Descriptive Note:
Technical rept.,
Supplementary Note:
Prepared in cooperation with State Univ. of New York at Stony Brook. Dept. of Computer Science.
Pagination:
0057

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
SU-SEL-78-024, DSL-TR-155
Contract/Grant Number(s):
N00014-75-C-0601, NSF-JO-42203
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_1_Force Support; JCA_1.2_Force Preparation; JCA_1.2.6_Concepts; JCA_5.2_Understand; JCA_1.2.3_Educating; JCA_6.4.1_Secure Information Exchange; JCA_6_Net Centric; JCA_1.3_Human Capital Management; JCA_3.2_Engagement; JCA_3_Force Application; JCA_1.3.2_Personnel Management; JCA_3.2.1_Kinetic Means; JCA_5.3_Planning; JCA_4.6_Engineering; JCA_6.4_Information Assurance; JCA_6.1.2_Wireless Transmission; JCA_1.2.5_Lessons Learned; JCA_6.1_Information Transport
Modernization Areas:
Fully Networked C3
Communities of Interest:
Weapons Technologies
Descriptor(s):
*PROGRAMMING LANGUAGES, *SEMANTICS, REAL TIME, COMPUTER PROGRAMMING, MINICOMPUTERS, BOOLEAN ALGEBRA
Field(s)/Group(s):
Computer Programming and Software, Computer Hardware
Report Date:
1978 Jul 01