The formal definition of a real-time language

DOI10.1007/BF00289309MaRDI QIDQ1153685zbMATH OpenFDO

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

• scientific article; zbMATH DE number 3540358 (Why is no real title available?)
• scientific article; zbMATH DE number 3581590 (Why is no real title available?)
• scientific article; zbMATH DE number 3346088 (Why is no real title available?)
• scientific article; zbMATH DE number 3383521 (Why is no real title available?)
• An axiomatic basis for computer programming
• An axiomatic definition of the programming language Pascal
• BLISS
• Consistent and complementary formal theories of the semantics of programming languages
• On an extension of Dijkstra's semaphore primitives
• Proof of a structured program: 'The sieve of Eratosthenes'

Describes a project that uses

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)