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

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

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

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

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

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



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