The impact of language design on the production of reliable software-Reference-Cited by-同舟云学术

The impact of language design on the production of reliable software

Published:1975-06 Issue:6 Volume:10 Page:10-22
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Gannon J. D.¹,Horning J. J.²

Affiliation:

1. Department of Computer Science, University of Maryland, College Park, Maryland

2. Computer Systems Research Group, University of Toronto, Toronto, Ontario M5S IA4, Canada

Abstract

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 language 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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/390016.808420

Reference41 articles.

1. Belady L.A. and M.M. Lehman; APL/360 User's Manual; IBM Technical Publications Department White Plains New York GH20-0683-1 (March 1970). Belady L.A. and M.M. Lehman; APL/360 User's Manual; IBM Technical Publications Department White Plains New York GH20-0683-1 (March 1970).

2. Belady L.A. and M.M. Lehman; Programming System Dynamics or the Meta-Dynamics of Systems in Maintenance and Growth; IBM Thomas J. Watson Research Center Yorktown Heights New York RC 3546 (September 1971). Belady L.A. and M.M. Lehman; Programming System Dynamics or the Meta-Dynamics of Systems in Maintenance and Growth; IBM Thomas J. Watson Research Center Yorktown Heights New York RC 3546 (September 1971).

3. The System Language for Project SUE

4. Reflections on a language designed to write an operating system

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Designing Packetc Programming Language for Reliable Network Apps;Proceedings of the 2018 VII International Conference on Network, Communication and Computing - ICNCC 2018;2018

2. A First Look at Novice Compilation Behaviour Using BlueJ;Computer Science Education;2005-03

3. On the Semantics of “Data Type”;SIAM Journal on Computing;1979-11

4. Restricted data types, specification and enforcement of invariant properties of variables;ACM SIGOPS Operating Systems Review;1977-04

5. Restricted data types, specification and enforcement of invariant properties of variables;ACM SIGSOFT Software Engineering Notes;1977-03