Accession Number:

ADA058047

Title:

The Formal Definition of a Real-Time Language.

Descriptive Note:

Technical rept.,

Corporate Author:

STANFORD UNIV CALIF STANFORD ELECTRONICS LABS

Report Date:

1978-07-01

Pagination or Media Count:

57.0

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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE