О термальном аспекте автоматизации программирования
Уточняются основные положения немонотонного синтеза программ с переприсваиваниями. Такой синтез рассматривается с использованием теоретико-модельного подхода. Для изучения программистской и декларативной семантики предлагается использовать многоосновные алгебры термов при представлении операций над...
Збережено в:
Видавець: | Інститут програмних систем НАН України |
---|---|
Дата: | 2006 |
Автор: | Приходько, П.П. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2006
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2325 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Цитувати: | О термальном аспекте автоматизации программирования / П.П. Приходько // Проблеми програмування. — 2006. — N 1. — С. 3-16. — Бібліогр.: 11 назв. — рос. |
Репозиторії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Современные методы программирования. Возможности и инструменты
за авторством: Лаврищева, Е.М.
Опубліковано: (2006) -
О некоторых подходах к вычислению неопределенностей
за авторством: Провотар, А.И., та інші
Опубліковано: (2010) -
О структурних элементах компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2012) -
О построении клонов алгебр функциональных n-отношенеий
за авторством: Захария, Л.М., та інші
Опубліковано: (2006) -
О выделении макроопераций из вычислительных процессов сортировки массивов данных
за авторством: Паулин, О.Н., та інші
Опубліковано: (2016)