PT - JOURNAL ARTICLE
AU - Леонтьев А. В., 
TI - О надежности, безопасности и читабельности языков программирования на примере языка Ада
DP - 2019-12-26
TA - Информатика
SO - https://www.academjournals.by/publication/18367
AB - Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают взгляды автора на данный предмет. Эти предложения затрагивают надежность, ясность и безопасность типичных, простых конструкций языков программирования, таких как, например, типизация, начальная элаборация, статус переменных, некоторые высокоуровневые операторы и пр. Часто программисты тратят много времени на работу с подобными конструкциями. Представленные предложения мало влияют на сложность и эффективность вычислений. Они предлагаются исключительно для помощи программисту в создании надежных и безопасных программ. Предложения иллюстрируются примерами на языке Ада, который очень удобен для этого, но они могут быть применены и в других языках.