Наукова електронна бібліотека
періодичних видань НАН України

Перегляд за автором "Приходько, П.П."

Репозиторій DSpace/Manakin

Перегляд за автором "Приходько, П.П."

Сортувати за: Порядок: Результатів:

  • О возможных основаниях немонотонного дедуктивного синтеза программ 
    Приходько, П.П. (2003)
    Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании ...
  • О термальном аспекте автоматизации программирования 
    Приходько, П.П. (2006)
    Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики ...