РИД
№ АААА-Г19-619072790005-0Модельный суперкомпилятор MSCP-A v.1 (MSCP-A v.1)
27.07.2019
Суперкомпилятор MSCP-A представляет собой модельный суперкомпилятор для языка Рефал, ориентированный на работу со строковыми данными с ассоциативным оператором приписывания. Программа предназначена для преобразования программ, написанных на базисном Рефале, в программы, семантически эквивалентные данным программам на их области определения, но возможно имеющие другие синтаксические и сложностные характеристики. Поскольку встроенный тип данных языка Рефал ассоциативен, в суперкомпиляторе MSCP-A использованы специальные алгоритмы решения уравнений в словах для более эффективного преобразования программ на языке Рефал. Программа применяется для анализа и верификации программных моделей, написанных на языке Рефал-5.
ГРНТИ
50.05.09 Языки программирования
50.33.04 Перспективные архитектуры. Архитектуры параллельной обработки
50.05.17 Теоретические основы системного программного обеспечения
Ключевые слова
СУПЕРКОМПИЛЯТОР ДЛЯ ЯЗЫКА РЕФАЛ
Детали
Тип РИД
Программа для ЭВМ
Сферы применения
Анализ и верификации программных моделей, написанных на языке Рефал-5.
Ожидается
Исполнитель
Исполнители
Федеральное государственное бюджетное учреждение науки Институт программных систем им. А.К. Айламазяна Российской академии наук
Заказчик
Федеральное агентство научных организаций
Похожие документы
Модельный суперкомпилятор MSCP-A v.0.5 (MSCP-A v.0.5)
0.989
РИД
Модельный суперкомпилятор MSCP-A, версия 1.5 (MSCP-A v.1.5)
0.943
РИД
Модельный суперкомпилятор MSCP-A, версия 1.7 (MSCP-A v.1.7)
0.938
РИД
Обновление для модельного суперкомпилятора MSCP-A v.1 (MSCP-A SP v.1)
0.937
РИД
Прикладная программа "Мобильный компилятор модельного языка программирования"
0.850
РИД
Развитие методов анализа и верификации моделей вычислительных систем и алгебраических объектов на основе средств функционального и логического программирования
0.841
ИКРБС
Минимизация синтаксических диаграмм с многовходовыми компонентами
0.841
РИД
Высокопроизводительные информационно-вычислительные технологии. Математическое и программное обеспечение сложных информационно-вычислительных систем
0.832
ИКРБС
Программа автоматизации алгебраических преобразований матрицеподобных структур для решения задач логического анализа
0.831
РИД
Математическое и алгоритмическое обеспечение создания компиляторов предметно-ориентированных языков для специализированных вычислительных машин
0.829
Диссертация