Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл No. ФС77-51038. ISSN 2307-0609

Публикации с ключевым словом - автоматический синтез программ

Найдено: 1
Теоретические основания синтеза элементарных инструкций императивных языков программирования на основе множеств присваивания
# 05, май 2014
УДК: 004.421
Минашин Г. А.
В статье рассматриваются вопросы установки соответствий между формальной спецификацией программного обеспечения и алгоритмами программ, описываемыми этими спецификациями. В качестве спецификации выбрана запись предусловия и постусловия программы в терминах исчисления предикатов. Исследуется автоматическое создание простейших инструкций абстрактного языка программирования на основе данных спецификаций. Устанавливается место введённого аппарата в области автоматического синтеза программ и формальной верификации.
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2017 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98