Среда обучения программированию с типизированными аппликативными языками программирования

Грехов Максим Михайлович
14 сентября 2018
82
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Москва
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201561777
Дата регистрации документа ИС 2015-07-22
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

Программа предназначена для изучения приемов программирования с типизированными аппликативными языками программирования. Программа реализована в виде интерпретатора, предназначенного для вычисления выражений специального учебного типизированного аппликативного языка программирования. Интерпретатор включает в себя модули вычислителя и модуль проверки типов. Программа предоставляет возможность вывода шагов вычисления выражения, а также дерева вывода типа выражения.