Author(s)

C.J. Burgess

Abstract

For high quality software, an important part of the project is the choice of the programming language and compiler to be used. This paper examines some of the issues affecting software quality that should be considered when making this choice, including the extent to which the programming language encourages the writing of good quality programs; the degree to which the precise effect of the programs written in the language have been formally defined; and the degree of confidence that can be placed in the compiler implementation. As an important part of this, the paper will include reference to the role of formal definitions of programming languages, programming language standards and compiler valida- tion techniques. Introduction For high quality software, an important part of the project is the choice of the programming

Keywords