Language design for programming reliability

@article{Gannon1975LanguageDF,
  title={Language design for programming reliability},
  author={John D. Gannon and James J. Horning},
  journal={IEEE Transactions on Software Engineering},
  year={1975},
  volume={SE-1},
  pages={179-191}
}
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 the validity of such design principles cannot be logically proved, empirical evidence is needed to support or discredit them. A major experiment to measure the effect of nine specific language-design decisions in… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 20 references

Language design to enhance programming reliability

  • Comput. Syst. Res. Group, Univ. Toronto, Toronto…
  • 1975
1 Excerpt

Paragraphing computer programs

  • H. Gordon
  • M.Sc. tl~sis, Dep. Comput. Sci., Univ. of Toronto…
  • 1975
1 Excerpt

A student project for an operating systems course

  • A. Ballard, M. Dryer, R. C. Holt, L. Weissman
  • Eds.), Comput. Syst. Res. Group, Tech. Rep
  • 1973
1 Excerpt

Hints on programming language design

  • Comput. Sci. Dep., Stanford Univ., Stanford…
  • 1973

User's manual for TOPPSII

  • J. D. Gannon
  • Dep. Comput. ScL, Univ. of Toronto, Toronto, Ont…
  • 1973

A behavioral analysis of programming: On the frequency of syntactical errors

  • S. J. Boies, J. D. Gould
  • IBM Thomas J. Watson Res. Center, Yorktown…
  • 1972

Similar Papers

Loading similar papers…