Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Communications of the ACM
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
An approach to efficient, fault tolerant programming
ACM SIGPLAN Notices
The CAMIL programming language
ACM SIGPLAN Notices
Formal languages and their relation to automata
Formal languages and their relation to automata
| Hi-index | 0.00 |
Previous work has shown that quality software can be produced by deferring the machine code generation portion of a compiler until a program has been tested and known to be production worthy. In this approach an interpreter is used to facilitate testing and the creation of fault tolerant programs. A machine code generator, then applied to tested programs, preserves fault tolerance and provides efficiency.The application of this unique approach to fault tolerant programming, which places the machine code generator remote from the lexical and semantic portions of the compiler, will be examined in this paper. Covered will be 1) the generation of code which preserves fault tolerance: 2) the code optimization techniques employed to produce the necessary efficiency; and 3) the results of implementing this approach into a production environment.