On reliability, safety, and readability of programming languages on the example of Ada language

Abstract

A few small suggestions of language design reflect the author's views are presented. These suggestions are mainly related to the reliability and safety of simple, typical structures and statements in programming: typification, compile-time elaborations of variables, status of variables, high-level statements, etc. The programmers often spend working time with similar constructions. From mathematical point of view these suggestions do not effect seriously on the complexity and efficiency of calculations; they are designed exclusively to help a programmer to write reliable, secure and clear programs. These suggestions are illustrated on Ada language, which is very suitable for this purpose, but they can be applied in other languages also.