Інтерпретатор лямбда-виразів
Вантажиться...
Дата
2022
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Сікорського
Анотація
Опис
Дане дослідження показує як можна здіснювати обробку та обчислення лямбда-виразів в рамках нетипізованого лямбда-числення. Розроблено інструмент для інтерпретації лямбда-виразів, в якому реалізовано основні концепції нетипізованого лямбда-числення. Інтерпретатор лямбда-виразів розроблено у вигляді клієнт-серверного застосунку з використанням інтерфейсу прикладного програмування.
Ключові слова
лямбда-числення, лямбда-вираз, абстракція, змінна, інтерпретатор, функційне програмування, lambda-calculus, lambda-expression, abstraction, variable, interpreter, functional programming
Бібліографічний опис
Корнієнко, В. С. Інтерпретатор лямбда-виразів : магістерська дис. : 121 Інженерія програмного забезпечення / Корнієнко Владислав Сергійович. – Київ, 2022. – 133 с.