Deprecated: Assigning the return value of new by reference is deprecated in /home/users/o/onestep37/domains/disser.org.ua/includes/init.php on line 33
Аксіоматичні системи специфікацій програм над номінативними даними - Л.Л. Омельчук - Дисертації, автореферати

Пошук по сайту by Google
Дисертації, автореферати » Фізико-математичні науки » Аксіоматичні системи специфікацій програм над номінативними даними - Л.Л. Омельчук

Аксіоматичні системи специфікацій програм над номінативними даними - Л.Л. Омельчук

 
Назва: Аксіоматичні системи специфікацій програм над номінативними даними
Автор: Л.Л. Омельчук
Категорія: Фізико-математичні науки
Рік: 2007
Викачано: 0
Опис: На підставі композиційно-номінативного підходу побудовано та досліджено імперативні й декларативні моделі недетермінованих програм. Встановлено, що семантика даних програм задається частковими багатозначними функціями (бінарними відношеннями) над номінативними даними. Визначено повний клас натурально обчислюваних функцій даного типу та наведено його алгебраїчне подання. Визначено спеціальний вид обчислюваності - номінативну обчислюваність, що дозволяє адекватно визначити повний клас обчислюваних функцій над номінативними даними й орієнтована на функції та композиції, близькі до програмних. Побудовано аксіоматичну теорію номінативних даних, яка спроможна специфікувати усі номінативно обчислювані функції. Побудовано прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними. Продемонстровано його властивість доводити деякі властивості програм.
Файл: 39.1 КБ
Скачати дисертацію