informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-874Research ArticleИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИINFORMATION TECHNOLOGYО надежности, безопасности и читабельности языков программирования на примере языка АдаOn reliability, safety, and readability of programming languages on the example of Ada languageЛеонтьевА. В.Leont’evA. V.

Леонтьев Александр Владимирович - кандидат физикоматематических наук, старший научный сотрудник.

Переславль-Залесский, Ярославская область

Alexander V. Leont'ev - Cand. Sci. (Phys.-Math.), Senior Researcher.

Pereslavl-Zalessky, Yaroslavl Region

Alexleontevjor@gmail.comИнститут программных систем, Российская академия наукProgram Systems Institute, Russian Academy of Sciences2019261220191648898Copyright © Леонтьев А.В., 20192019Леонтьев А.В.Leont’ev A.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/874

Представлены несколько небольших предложений, которые относятся к проектированию языков и отражают взгляды автора на данный предмет. Эти предложения затрагивают надежность, ясность и безопасность типичных, простых конструкций языков программирования, таких как, например, типизация, начальная элаборация, статус переменных, некоторые высокоуровневые операторы и пр. Часто программисты тратят много времени на работу с подобными конструкциями. Представленные предложения мало влияют на сложность и эффективность вычислений. Они предлагаются исключительно для помощи программисту в создании надежных и безопасных программ. Предложения иллюстрируются примерами на языке Ада, который очень удобен для этого, но они могут быть применены и в других языках.

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.

языки программированиянадежное программированиебезопасное программированиестиль программированияпроектирование языковprogramming languagereliable programmingsafe programmingprogramming styledesign of languagesРабота выполнена по НИР «Исследование и разработка методов интеллектуального анализа данных» в рамках государственного задания Министерства образования и науки России, номер ГР АААА-А19-119020690042-2The publication was prepared within the framework of the state assignment of the Ministry of Education and Science of Russia, number AA AAAA-A19-119020690042-2ReferencesHeinlein C. Null values in programming languages. Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, Nevada, USA, 27-30 June, 2005. Available at: https://www.researchgate.net/publication/221271111_Null_Values_in_Programming_Languages (accessed 13.04.2019).Heinlein C. Null values in programming languages. Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, Nevada, USA, 27-30 June, 2005. Available at: https://www.researchgate.net/publication/221271111_Null_Values_in_Programming_Languages (accessed 13.04.2019).Klimov A., Adamovich A. Can parallel programs be deterministic by construction? Problem statement. National Supercomputing Forum (NSCF 2017), Pereslavl-Zalessky, Russia, November-December 2017. Available at: http://2018.nscf.ru/nscf-eng/ (accessed 13.04.2019).Klimov A., Adamovich A. Can parallel programs be deterministic by construction? Problem statement. National Supercomputing Forum (NSCF 2017), Pereslavl-Zalessky, Russia, November-December 2017. Available at: http://2018.nscf.ru/nscf-eng/ (accessed 13.04.2019).Freeman S. Partial Revelation and Mjdula-3. Available at: https://www.cs.tut.fi/lintula/manual/modula3/modula-3/html/partial-rev/index.html (accessed 13.04.2019).Freeman S. Partial Revelation and Mjdula-3. Available at: https://www.cs.tut.fi/lintula/manual/modula3/modula-3/html/partial-rev/index.html (accessed 13.04.2019).Modula-3. Available at: https://en.wikipedia.org/wiki/Modula-3 (accessed 13.04.2019).Modula-3. Available at: https://en.wikipedia.org/wiki/Modula-3 (accessed 13.04.2019).Wyant G. Introducing modula-3. Linux Journal, 1 December, 1994. Available at: https://www.linuxjournal.com/article/9 (accessed 13.04.2019).Wyant G. Introducing modula-3. Linux Journal, 1 December, 1994. Available at: https://www.linuxjournal.com/article/9 (accessed 13.04.2019).

The authors declare that there are no conflicts of interest present.