ACM Computing Surveys (CSUR)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
PASCAL user manual and report
Towards automatic debugging of programs
Proceedings of the international conference on Reliable software
Finding Invariant assertions for proving programs
Proceedings of the international conference on Reliable software
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing
Proceedings of the international conference on Reliable software
The CAMIL programming language
ACM SIGPLAN Notices
Application of a remote code generator
ACM SIGPLAN Notices
Hi-index | 0.00 |
In the past software reliability has sometimes been accomplished by an interpreter. The benefits of an interpretive approach have been it's susceptibility to fault tolerance, i.e. it's error detecting and correcting capabilities, Interpreters historically are too slow to be used as the execution complex in a production environment, however.An interpretive based mecharism is proposed in this paper to allow 1) fault tolerance within both the testing and production environment (i.e. the interpreter continues to provide at least a minimum of services even within a hostile environment), and 2) suitable efficiency within a production environment.