DocumentCode
1297488
Title
An assessment of the programming language pascal
Author
Wirth, Niklaus
Author_Institution
Federal Inst. of Technol., Zurich, Switzerland
Issue
2
fYear
1975
fDate
6/1/1975 12:00:00 AM
Firstpage
192
Lastpage
198
Abstract
The programming language Pascal is assessed in the light of `reliable programming´ and with the background of five years of experience with the language. Some features are selected to point out remaining problems, either inherent or specific, from which some guidelines for the design of choice of languages for reliable programming are derived. Among the discussed features are the concept of data type, the sequential file structure and the type union.
Keywords
procedure oriented languages; PASCAL; data type; programming language assessment; sequential file structure; type union; Arrays; Indexes; Integrated circuit reliability; Programming; Software; Software reliability; Data types; Pascal; files and sequences; language and reliable programming; language evaluation; parametrized types; program correctness versus reliability; type union;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1975.6312839
Filename
6312839
Link To Document