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