ADA: Concurrent Programming
Ada: an advanced introduction
Programming language concepts 2/E
Programming language concepts 2/E
Programmming languages: design and implementation (2nd ed.)
Programmming languages: design and implementation (2nd ed.)
Fundamentals of programming languages (2nd ed.)
Fundamentals of programming languages (2nd ed.)
ACM SIGAda Ada Letters
IEEE Transactions on Software Engineering
Towards a formal description of Ada
Towards a formal description of Ada
Programming ADA
ACM SIGAda Ada Letters
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
Programming language structures
Programming language structures
The contour model of block structured processes
ACM SIGPLAN Notices
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic tasks verification with QUASAR
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
| Hi-index | 0.00 |
A visual execution model for Ada tasking can help programmers attain a deeper understanding of the tasking semantics. It can illustrate subtleties in semantic definitions that are not apparent in natural language design. We describe a contour model of Ada tasking that depicts asynchronous tasks (threads of control), relationships between the environments in which tasks execute, and the manner in which tasks interact. The use of this high-level execution model makes it possible to see what happens during execution of a program. The paper provides an introduction to the contour model of Ada tasking and demonstrates its use.