Publication:
Constructing generator of words of context-sensitive language on example of typed λ-calculus

Дата
2022
Авторы
Slieptsov, I. O.
Wolfengagen, V. E.
Kosikov, S.
Journal Title
Journal ISSN
Volume Title
Издатель
Научные группы
Организационные подразделения
OrgUnit Logo
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Выпуск журнала
Аннотация
The given paper considers a problem of generating words of a context-dependent language. It reviews the application of the problem to the unit testing of functions, examines in detail the use of generators in property-based testing. The context-dependent language of О»-calculus with a simple type system О›в†’ is considered, and the problem is refined up to generating О»-terms with the given type within the given context. The article proposes a generation method that was implemented using the combinators of the fast-check library, which provides property-based testing in JavaScript.
Описание
Ключевые слова
Цитирование
Slieptsov, I. O. Constructing generator of words of context-sensitive language on example of typed λ-calculus / Slieptsov, I. O., Wolfengagen, V. E., Kosikov, S. // Procedia Computer Science. - 2022. - 213. - № C. - P. 556-562. - 10.1016/j.procs.2022.11.104
URI
https://www.doi.org/10.1016/j.procs.2022.11.104
 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146112345&origin=resultslist
 https://openrepository.mephi.ru/handle/123456789/28288
Коллекции
Публикации