Модельный суперкомпилятор MSCP-A, версия 1.5 (MSCP-A v.1.5)
анализа и верификация программных моделей, Рефал-5, суперкомпилляция, рестрикции
Программа предназначена для анализа и верификации программных моделей, написанных на языке Рефал-5, методом суперкомпиляции, используя расширенный язык рестрикций в виде неравенств и уравнений в словах. Программа выполняет следующие функции: развертку дерева конфигураций, вложение и обобщение выражений для MSCP-A, решение и приведение к краткой форме уравнений и неравенств в словах определенных классов. Данные модули осуществляют применение рестрикций не только для отсеивания недостижимых путей вычисления, но в процессе всех этапов анализа дерева вычислений: как при прогонке конфигурации в качестве правил переписывания, так и при обобщении для построения более точной обобщенной конфигурации
Анализ и верификация программных моделей, написанных на языке Рефал-5
Абрамов С.М.
директор
Доктор физико-математических наук
Абрамов С. М.
директор
28.23.29
Программная реализация интеллектуальных систем
28.23.37
Нейронные сети
50.41.23
Программное обеспечение вычислительных сетей
50.33.04
Перспективные архитектуры. Архитектуры параллельной обработки
50.05.13
Технология программирования. Автоматизация программирования.
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
Антонина
Непейвода
Николаевна
Идея создания программы, концепция ее архитектуры и реализация
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИПС им. А.К. Айламазяна РАН
Федеральное государственное бюджетное учреждение науки  Институт программных систем им. А.К. Айламазяна Российской академии наук
1027601052225
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения