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

научное издание МГТУ им. Н.Э. Баумана

НАУКА и ОБРАЗОВАНИЕ

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл № ФС 77 - 48211.  ISSN 1994-0408

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

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



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)
  RSS
© 2003-2017 «Наука и образование»
Перепечатка материалов журнала без согласования с редакцией запрещена
 Тел.: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)