DocumentCode
1029261
Title
Contribution of standard programming languages to software quality
Author
Wichmann, B.A.
Author_Institution
Nat. Phys. Lab., Teddington, UK
Volume
9
Issue
1
fYear
1994
fDate
1/1/1994 12:00:00 AM
Firstpage
3
Lastpage
12
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
265657
Link To Document