Title :
An assessment of the programming language pascal
Author_Institution :
Federal Inst. of Technol., Zurich, Switzerland
fDate :
6/1/1975 12:00:00 AM
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;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1975.6312839
