An operational semantics of multitasking and exception handling in Ada
- 1 January 1982
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 138-151
- https://doi.org/10.1145/3304133.3304153
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Algebras, Theories and Freeness: An Introduction for Computer ScientistsPublished by Springer Nature ,1982
- The emperor's old clothesCommunications of the ACM, 1981
- On a formal model of the tasking concept in AdaACM SIGPLAN Notices, 1980
- Algorithms for translating Ada multitaskingACM SIGPLAN Notices, 1980
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Towards a Formal Description of AdaLecture Notes in Computer Science, 1980
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- Communicating sequential processesCommunications of the ACM, 1978
- A fundamental theorem of asynchronous parallel computationPublished by Springer Nature ,1975