Communicating sequential processes
Communicating sequential processes
Designing large real-time systems with Ada
Communications of the ACM
ACM SIGAda Ada Letters
Real-time Ada: outstanding problem areas
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Ada 9X requirements
Handbook of theoretical computer science (vol. B)
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Communication and Concurrency
Software Engineering with ADA
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
On unlimited types and reliability of Ada programs
ACM SIGAda Ada Letters
Hi-index | 0.00 |
Two important uses of Ada packages are analyzed. Namely, for defining abstract data types and for defining task subsystems. Their advantages are only summarized, since they are well known, but the advantages and drawbacks of alternative ways of achieving such purposes are discussed and a uniform style of use is sustained, as well as the need for a specific notation for compound task types.