The Formal Definition of a Real-Time Language.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1978
Accession Number
ADA058047

Entities

People

  • John L. Hennessy
  • Richard B. Kieburtz

Organizations

  • Stanford University

Tags

Communities of Interest

  • Advanced Electronics
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Computer Programming
  • Computer Science
  • Computers
  • Engineering
  • Language
  • Materials
  • Materials Science
  • Military Research
  • New Jersey
  • New Mexico
  • New York
  • Notation
  • Operating Systems
  • Standards
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Parallel and Distributed Computing.