Letters to the editor: go to statement considered harmful
Communications of the ACM
PASCAL user manual and report
Automatic program verification I: a logical basis and its implementation.
Automatic program verification I: a logical basis and its implementation.
Reply to a paper by A. N. Habermann on the programming language Pascal
ACM SIGPLAN Notices
ALGOL Bulletin
Simula Begin
Some comments on the forthcoming “extended Pascal" standard
ACM SIGPLAN Notices
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
Comparison of the Programming Languages C and Pascal
ACM Computing Surveys (CSUR)
Team dynamics in systems development and management
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
Effective machine descriptors for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software
Restricted data types, specification and enforcement of invariant properties of variables
Proceedings of an ACM conference on Language design for reliable software
Static determination of dynamic properties of generalized type unions
Proceedings of an ACM conference on Language design for reliable software
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
Effective machine descriptors for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
ACM SIGPLAN Notices
Parameter validation for software reliability
ACM SIGPLAN Notices
How to avoid getting schlonked by Pascal
ACM SIGPLAN Notices
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
Recollections about the development of Pascal
History of programming languages---II
| Hi-index | 0.01 |
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.