The formal definition of a real-time language

DOI10.1007/BF00289309zbMATH Open0463.68030MaRDI QIDQ1153685FDOQ1153685

Authors: John L. Hennessy, Richard B. Kieburtz 

Publication date: 1981

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

zbMATH Keywords

task-oriented microprocessor applications language

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• An axiomatic basis for computer programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic definition of the programming language Pascal
• Consistent and complementary formal theories of the semantics of programming languages
• Proof of a structured program: 'The sieve of Eratosthenes'
• On an extension of Dijkstra's semaphore primitives
• Title not available (Why is that?)
• BLISS

Uses Software

• Modula

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1153685)