TY  - JOUR
T1  - О надежности, безопасности и читабельности языков программирования на примере языка Ада
JF  - Информатика
AU  - Леонтьев А. В., 
Y1  - 2019-12-26
UR  - https://www.academjournals.by/publication/18367
N2  - Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают взгляды автора на данный предмет. Эти предложения затрагивают надежность, ясность и безопасность типичных, простых конструкций языков программирования, таких как, например, типизация, начальная элаборация, статус переменных, некоторые высокоуровневые операторы и пр. Часто программисты тратят много времени на работу с подобными конструкциями. Представленные предложения мало влияют на сложность и эффективность вычислений. Они предлагаются исключительно для помощи программисту в создании надежных и безопасных программ. Предложения иллюстрируются примерами на языке Ада, который очень удобен для этого, но они могут быть применены и в других языках.