Communicating sequential processes
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
A runtime supervisor to support Ada tasking: rendezvous and delays
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
| Hi-index | 0.00 |
This paper describes the August 1980 state of the development of a formal model of the Ada tasking concept. The model is being developed at the Department of Computer Science, Technical University of Denmark in collaboration with the Danish Datamatics Centre as part of a full Ada compiler development project summarized below. The paper includes a short characterization of the (present) tasking concepts in Ada on which the model is based. The model description is rather informal to let you have an idea about the modelling principles. In appendix A a detailed example is given, unfolding the course of a rendezvous. The paper ends with a sketch of how an implementation can be systematically derived from the formal model.