Title :
Contribution of standard programming languages to software quality
Author_Institution :
Nat. Phys. Lab., Teddington, UK
fDate :
1/1/1994 12:00:00 AM
Abstract :
The author examines the contribution that a standard programming language can make to the quality of the software written in that language. By means of an example, it is shown that there is a substantial difference in languages and their implementations in the assurance provided of the correctness of the resulting program. Demonstrating that a program is correct with respect to the semantics of the language is a useful step in quality assurance
Keywords :
high level languages; programming theory; software quality; software reliability; standards; correctness; quality assurance; semantics; software quality; standard programming languages;
Journal_Title :
Software Engineering Journal
