The reliability of programming systems

  • H. Gerstmann
  • H. Diel
  • W. Witzel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 23)


The reliability of a programming system is not only determined by the number of errors to be expected, but also by its behaviour in error situations. An error must be kept local to identify its origin and annul its effects at an tolerable expense. This paper discusses a uniform approach to the limitation of error propagation, the identification of the process in error, and the provision for error recovery.


Input State Parallel Process Precedence Relation Error Recovery High Level Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    J.J. Horning and B. Randell: Process Structuring, Computing Surveys, Vol. 5, No 1, March 1973Google Scholar
  2. 2.
    N. Wirth: The Programming Language Pascal, Acta Informatica 1, 35–63 (1971)Google Scholar
  3. 3.
    N. Habermann: Critical Comments on the Programming Language Pascal, Acta Informatica 3, 47–57 (1973)Google Scholar
  4. 4.
    P. Brinch Hansen: Concurrent Programming Concepts, Computing Surveys, Vol. 5, No 4, December 1973Google Scholar
  5. 5.
    Ch. T. Davies, Jr.: Recovery Semantics for a DB/DC System, 1973 Proceedings of the ACMGoogle Scholar
  6. 6.
    L.A. Bjork: Recovery Scenario for a DB/DC System, 1973 Proceedings of the ACMGoogle Scholar
  7. 7.
    D. L. Parnas: Software Engineering or Methods for the Multi-Person Construction of Multi-Version Programs, published in these proceedingsGoogle Scholar
  8. 8.
    N. Wirth: The Design of a PASCAL Compiler, Software, Vol 1, 309–333 (1971)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • H. Gerstmann
    • 1
  • H. Diel
    • 1
  • W. Witzel
    • 1
  1. 1.IBM GermanyBoeblingen

Personalised recommendations