Issue No.02 - June (1975 vol.1)
J. J. Horning , Computer Systems Research Group University of Toronto, Toronto, Ont., Canada
The language in which programs are written can have. a substantial effect on their reliability. This paper discusses the design of programming languages to enhance reliability. It presents several general design principles, and then applies them to particular languages constructs. Since we can not logically prove the validity of such design principles, empirical evidence is needed to support or discredit them. Gannon has performed a major experiment to measure the effect of nine. specific language-design decisions in one context. Analysis of the frequency and persistence. of errors shows that several, decisions had a significant impact on reliability.
Redundancy, Programming, Arrays, Reliability engineering, Software reliability, Computer languages, reliability, Characteristic errors, experimentation, language design, redundancy
J. J. Horning, "Language design for programming reliability", IEEE Transactions on Software Engineering, vol.1, no. 2, pp. 179-191, June 1975, doi:10.1109/TSE.1975.6312838