The Formal Definition of a Real-Time Language.
STANFORD UNIV CALIF STANFORD ELECTRONICS LABS
Pagination or Media Count:
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.
- Computer Programming and Software
- Computer Hardware