Modern elementary statistics
The psychology of computer programming
The psychology of computer programming
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Design and implementation of a diagnostic compiler for PL/I
Communications of the ACM
Spelling correction in systems programs
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
BLISS: a language for systems programming
Communications of the ACM
Letters to the editor: go to statement considered harmful
Communications of the ACM
DITRAN—a compiler emphasizing diagnostics
Communications of the ACM
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The System Language for Project SUE
Proceedings of the SIGPLAN symposium on Languages for system implementation
Reflections on a language designed to write an operating system
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Automatic program verification I: a logical basis and its implementation.
Automatic program verification I: a logical basis and its implementation.
Hints on programming language design.
Hints on programming language design.
Global variable considered harmful
ACM SIGPLAN Notices
ALGOL Bulletin
Report on the algorithmic language ALGOL 68
Report on the algorithmic language ALGOL 68
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
Exception handling: issues and a proposed notation
Communications of the ACM
Toward an effective software reliability evaluation
ICSE '78 Proceedings of the 3rd international conference on Software engineering
A place for assembler in structured programming
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Restricted data types, specification and enforcement of invariant properties of variables
Proceedings of an ACM conference on Language design for reliable software
The early history and characteristics of PL/I
ACM SIGPLAN Notices - Special issue: History of programming languages conference
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
No! high level languages should not be used to write systems software
ACM '75 Proceedings of the 1975 annual conference
An intermediate level dynamic storage capability
ACM SIGPLAN Notices
A generalized approach to interpretation machines
ACM SIGPLAN Notices
The early history and characteristics of PL/I
History of programming languages I
Neon: A Library for Language Usage Analysis
Software Language Engineering
| Hi-index | 0.02 |
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.