Issue No.02 - June (1975 vol.1)
Niklaus Wirth , Federal Institute of Technology (ETH), Zürich, Switzerland
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 or 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.
Software reliability, Arrays, Software, Integrated circuit reliability, Programming, Indexes, type union, Data types, files and sequences, language evaluation, language and reliable programming, parametrized types, Pascal, program correctness versus reliability
Niklaus Wirth, "An assessment of the programming language pascal", IEEE Transactions on Software Engineering, vol.1, no. 2, pp. 192-198, June 1975, doi:10.1109/TSE.1975.6312839