Fail-safety techniques and their extensions to concurrent systems

Authors:
Steven J. Drew
Affiliations:
Programming Languages and Systems Group, Computer Science Department, Queensland University of Technology, Sydney, Queensland, Australia 4000
Venue:
Computer Languages
Year:
1996

Citing 6
Cited 0

A modular verifiable exception handling mechanism

ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Exception handling: expecting the unexpected

Computer Languages
Aspects Of Implementing CLU

ACM '78 Proceedings of the 1978 annual conference
Software reliability: The role of programmed exception handling

Proceedings of an ACM conference on Language design for reliable software
Exception Handling and Software Fault Tolerance

IEEE Transactions on Computers
System structure for software fault tolerance

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.