https://search.rsl.ru/ru/record/01004108015
https://habr.com/ru/articles/538168/
«Я впервые принимал участие в проекте, где были заняты десятки программистов. Язык программирования – ПРОЛ-2 разработки ИПМ АН СССР. Вообще-то, девичья фамилия этого языка была «Пролог-Ц» от ПРОграммирования ЛОГики. А литера «Ц» - это, вероятно, ЦУП. Но поскольку в то время на слуху был японский Пролог с его транспьютерами, вероятно разработчикам надоело отвечать на вопросы о применении транспьютеров в «Буране», поэтому вторая версия языка вышла под таким скромным и безликим именем.»
«Для повышения надежности в языке ПРОЛ-2 описание нелокальных переменных
должно было включать и права доступа в виде списка имен процедур,
которым разрешается к этой переменной обращаться.
Отдельный список прав на чтение и отдельный список прав на запись.»
см. также
https://www.compiler.su/prava-dostupa-k-peremennym.php
https://search.rsl.ru/ru/record/01002771258
2005, Бебчик, Антон Михайлович, Разработка и исследование подсистемы исполнения запросов и графического редактора системы функционально-логического программирования : диссертация
«СИПРОЛ. Этот язык является упрощённой версией проблемно-ориентированного языка высокого уровня ПРОЛ2, разработанного в ИПМ им. Келдыша.»
https://www.dissercat.com/content/sinte … h-vychisli
2007, Тюгашев, Андрей Александрович, Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
https://search.rsl.ru/ru/record/01013892425
https://citforum.ru/programming/prg96/85.shtml
«
Krukov V.A., Petrenko A.K., Trunov Yu.V., Fedorov K.B. GRAPHIT-graphic in tegrated environment for real-time system development.- Тезисы межд. конференции "Real-Time Data - RTD- 94", Дубна, июнь 1994.
Крюков В.А., Максимов А.В., Петренко А.К., Полилова Т.А. Иерархическое конфигурационное управление.- Программирование, 2,1994.
The RAISE Language Group. The RAISE Specification Language.- Prentice Hall, 1992.
»
Отредактировано Лис (2026-02-11 17:05:18)