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