РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016663789

Дата регистрации: 16.12.2016

Номер и дата поступления заявки: 2016661505 27.10.2016

Дата публикации: 10.01.2017

Контактные реквизиты:
ivanradko1991@gmail.com
	
Автор:
Рословцев Владимир Владимирович

Правообладатель:
федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский ядерный университет «МИФИ» (НИЯУ МИФИ)

Название программы для ЭВМ:
«Система для изучения комбинаторных техник редукции аппликативных выражений»

Реферат:
Программа предоставляет услуги по компиляции вычислимых аппликативных объектов в исполняемый код и выполнению скомпилированного кода. Программа позволяет моделировать алгоритмы компиляции в код категориальной и Кривиновской абстрактных машин для аппликативных объектов на основе расширенной предструктуры.

Тип реализующей ЭВМ: IBM PC-совмест. ПК на базе процессора Pentium IV и выше

Язык программирования: С#

Вид и версия операционной системы: Windows XP/Vista/7/8

Объем программы для ЭВМ: 8,23 Мб