Characteristic errors in programming languages

ABSTRACT

This paper examines the features of a small ALGOL-like language for characteristic errors. These errors occur in the general use of a language feature, rather than its use in a particular program. Language design and defensive programming are suggested as ways of dealing with these errors. Data collected in observing 33 subjects writing small (43-216 lines), but sophisticated programs demonstrate that these errors are both frequent and persistent in the development of programs.

REFERENCES

• 1: F.T. Baker. Chief programmer team management of production programming. IBM Systems Journal 11, 1, (1972), 56-73.
• 2: V.R. Basili. The Design and Implementation of a Family of Application-Oriented Languages. Proceedings of the Fifth Texas Conference on Computing Systems, (October 1976), 6-12.
• 3: R. Conway and D. Gries. Primer on structured programming using PL/I, PL/C, and PL/CT. Winthrop Publishers, Cambridge, MA, (1976), 300.
• 4: J. D. Gannon, An experimental evaluation of data type conventions, Communications of the ACM, v.20 n.8, p.584-595, Aug. 1977 [doi>10.1145/359763.359800]
• 5: J.D. Gould. Some psychological evidence on how people debug computer programs. International Journal of Man-Machine Studies, vol. 7, 2, (1975), 151-182.
• 6: R.W. Hamming. Error detecting and error correcting codes. Bell System Technical Journal 29, (1950), 147-160.
• 7: J.D. Ichbiah and J.P. Rissen. Directions de travail pour un atelier de software, rapport preliminaire. Compagnie Internationale Pour L'Informatique, France, (October 1971), 3-9.
• 8: Richard C. Linger , Bernard I. Witt , H. D. Mills, Structured Programming; Theory and Practice the Systems Programming Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1979
• 9: G.A. Miller and S. Isard. Free recall of self-embedded sentences. Information and Control 7, (1964), 292-303.
• 10: T. Pratt. Control computations and the design of loop control structures. IEEE Transactions on Software Engineering 4, 2, (March 1978), 81-88.
• 11: B. Randell. Highly reliable computing systems. University of Newcastle upon Tyne, Computing Laboratory, 20, (July 1971).
• 12: M.E. Sime, T.R.G. Green, and D.J. Guest. Psychological evaluation of two conditional constructs used in computer languages. International Journal of Man-Machine Studies, vol. 5, 1, (1973), 105-113.
• 13: Gerald M. Weinberg , Dennis P. Geller , Thomas W. S. Plum, IF-THEN-ELSE considered harmful, ACM SIGPLAN Notices, v.10 n.8, p.34-44, August 1975 [doi>10.1145/956028.956032]
• 14: Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
• 15: Niklaus Wirth, Toward a discipline of real-time programming, Communications of the ACM, v.20 n.8, p.577-583, Aug. 1977 [doi>10.1145/359763.359798]
• 16: Edward Yourdon, Techniques of Program Structure and Design, Prentice Hall PTR, Upper Saddle River, NJ, 1986

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Error handling and recovery

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

General Terms:
Languages

Keywords:
Characteristic errors, Defensive programming, Experimentation, Language design, Reliable software