Preview

Информатика

Расширенный поиск

О надежности, безопасности и читабельности языков программирования на примере языка Ада

Аннотация

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

Об авторе

А. В. Леонтьев
Институт программных систем, Российская академия наук
Россия

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

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



Список литературы

1. 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).

2. 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).

3. 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).

4. Modula-3. Available at: https://en.wikipedia.org/wiki/Modula-3 (accessed 13.04.2019).

5. Wyant G. Introducing modula-3. Linux Journal, 1 December, 1994. Available at: https://www.linuxjournal.com/article/9 (accessed 13.04.2019).


Рецензия

Для цитирования:


Леонтьев А.В. О надежности, безопасности и читабельности языков программирования на примере языка Ада. Информатика. 2019;16(4):88-98.

For citation:


Leont’ev A.V. On reliability, safety, and readability of programming languages on the example of Ada language. Informatics. 2019;16(4):88-98.

Просмотров: 630


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)