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
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
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 a 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.