Прикладная дискретная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Прикладная дискретная математика, 2012, номер 3(17), страницы 77–84 (Mi pdm378)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Математические основы информатики и программирования

К возрождению русского языка программирования

Г. П. Агибалов

Национальный исследовательский Томский государственный университет, г. Томск, Россия
Список литературы:
Аннотация: Сообщается о цели, задачах и первых результатах работ по возрождению русского языка программирования, известного в Отечестве как ЛЯПАС – Логический Язык для Представления Алгоритмов Синтеза. Возрождение ориентировано на создание доверенного системного и прикладного программного обеспечения автоматизированного синтеза безопасных компьютерных систем логического управления критически важными объектами (космическими системами, ядерными установками, вооружёнными силами и т.п.). Среди рассматриваемых задач важное место занимает и аппаратная реализация ЛЯПАСа как ЛЯПАС-машины, или компьютера с ЛЯПАСными операциями в качестве машинных команд, выполняемых непосредственно на схемном уровне.
Ключевые слова: ЛЯПАС, доверенное программное обеспечение, безопасные компьютерные системы логического управления.
Тип публикации: Статья
УДК: 681.3.06
Образец цитирования: Г. П. Агибалов, “К возрождению русского языка программирования”, ПДМ, 2012, № 3(17), 77–84
Цитирование в формате AMSBIB
\RBibitem{Agi12}
\by Г.~П.~Агибалов
\paper К возрождению русского языка программирования
\jour ПДМ
\yr 2012
\issue 3(17)
\pages 77--84
\mathnet{http://mi.mathnet.ru/pdm378}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm378
  • https://www.mathnet.ru/rus/pdm/y2012/i3/p77
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Прикладная дискретная математика
    Статистика просмотров:
    Страница аннотации:437
    PDF полного текста:173
    Список литературы:49
    Первая страница:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024