|
Прикладная дискретная математика, 2012, номер 3(17), страницы 77–84
(Mi pdm378)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Математические основы информатики и программирования
К возрождению русского языка программирования
Г. П. Агибалов Национальный исследовательский Томский государственный университет, г. Томск, Россия
Аннотация:
Сообщается о цели, задачах и первых результатах работ по возрождению русского языка программирования, известного в Отечестве как ЛЯПАС – Логический Язык для Представления Алгоритмов Синтеза. Возрождение ориентировано на создание доверенного системного и прикладного программного обеспечения автоматизированного синтеза безопасных компьютерных систем логического управления критически важными объектами (космическими системами, ядерными установками, вооружёнными силами и т.п.). Среди рассматриваемых задач важное место занимает и аппаратная реализация ЛЯПАСа как ЛЯПАС-машины, или компьютера с ЛЯПАСными операциями в качестве машинных команд, выполняемых непосредственно на схемном уровне.
Ключевые слова:
ЛЯПАС, доверенное программное обеспечение, безопасные компьютерные системы логического управления.
Образец цитирования:
Г. П. Агибалов, “К возрождению русского языка программирования”, ПДМ, 2012, № 3(17), 77–84
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm378 https://www.mathnet.ru/rus/pdm/y2012/i3/p77
|
Статистика просмотров: |
Страница аннотации: | 437 | PDF полного текста: | 173 | Список литературы: | 49 | Первая страница: | 1 |
|