Reasoning about correctness properties of a coordination programming language
Safety critical systems place additional requirements to the programming language used to implement them with respect to traditional environments. Examples of features that in uence the suitability of a programming language in such environments include complexity of de nitions, expressive power, bou...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Heriot-Watt University
2009
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.507940 |