eCite Digital Repository
Fail-safety techniques and their extensions to concurrent systems
Citation
Drew, S, Fail-safety techniques and their extensions to concurrent systems, Computer Languages, 22, (4) pp. 193-203. ISSN 0096-0551 (1996) [Refereed Article]
DOI: doi:10.1016/S0096-0551(96)00014-8
Abstract
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an attribute is desirable of any system as it ensures the correctness of results which are produced. A very few modern sequential programming languages offer program fail-safety through the judicious use of a well designed exception handling mechanism. In this paper the exception handling techniques used in those sequential systems are developed to provide the guidelines for fail-safe concurrent system design.
Item Details
Item Type: | Refereed Article |
---|---|
Research Division: | Information and Computing Sciences |
Research Group: | Information systems |
Research Field: | Information systems not elsewhere classified |
Objective Division: | Information and Communication Services |
Objective Group: | Information systems, technologies and services |
Objective Field: | Information systems, technologies and services not elsewhere classified |
UTAS Author: | Drew, S (Dr Steve Drew) |
ID Code: | 111887 |
Year Published: | 1996 |
Web of Science® Times Cited: | 1 |
Deposited By: | Curriculum and Academic Development |
Deposited On: | 2016-10-13 |
Last Modified: | 2016-10-13 |
Downloads: | 0 |
Repository Staff Only: item control page