В Википедии есть статья
Цитата:
Теория языков программирования
https://ru.wikipedia.org/?oldid=93104641Цитата:
Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей[1]. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике.
Содержание
1 История
2 Разделы науки и смежные области
2.1 Формальная семантика
2.2 Теория типов
2.3 Анализ программы и преобразование
2.4 Сравнительный анализ языка программирования
2.5 Обобщённое и метапрограммирование
2.6 Предметно-ориентированные языки
2.7 Конструкция компилятора
2.8 Среда выполнения
3 См. также
4 Примечания
5 Литература
6 Ссылки
В этой статье ничего не говорится о теоретических основах языка ДРАКОН.
Это пробел, который нужно исследовать.
Было бы очень хорошо, если бы профессор Андрей Александрович Тюгашев заинтересовался этим вопросом