The formal definition of a real-time language

DOI10.1007/BF00289309zbMath0463.68030MaRDI QIDQ1153685

Richard B. Kieburtz, John L. Hennessy

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

task-oriented microprocessor applications language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Uses Software

• Modula

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On an extension of Dijkstra's semaphore primitives
• An axiomatic definition of the programming language Pascal
• Consistent and complementary formal theories of the semantics of programming languages
• An axiomatic basis for computer programming
• BLISS
• Proof of a structured program: 'The sieve of Eratosthenes'

This page was built for publication: The formal definition of a real-time language