3 Formal aspects

Part of the Lecture Notes in Computer Science book series (LNCS, volume 262)


In this chapter we have noted that the tasking facilities of Ada are sufficient for it to be categorised as a viable concurrent programming language. On the other handm, we have identified a number of features which detract from its power and utility. Of these, perhaps the most significant is the lack of expressive power of the select statement, which forces the programmer to implement a large class of transactions in terms of a double rendezvous. The presence of the abort statement in the language means that such transactions cannot be programmed in a robust and simple way.


Temporal Logic Formal Description Proof System Formal Aspect Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Personalised recommendations