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

Простая страница элемента
dc.contributor.authorSlieptsov, I. O.
dc.contributor.authorWolfengagen, V. E.
dc.contributor.authorKosikov, S.
dc.contributor.authorВольфенгаген, Вячеслав Эрнстович
dc.date.accessioned2024-12-25T17:32:11Z
dc.date.available2024-12-25T17:32:11Z
dc.date.issued2022
dc.description.abstractThe 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.
dc.format.extentС. 556-562
dc.identifier.citationSlieptsov, 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
dc.identifier.doi10.1016/j.procs.2022.11.104
dc.identifier.urihttps://www.doi.org/10.1016/j.procs.2022.11.104
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85146112345&origin=resultslist
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/28288
dc.relation.ispartofProcedia Computer Science
dc.titleConstructing generator of words of context-sensitive language on example of typed λ-calculus
dc.typeConference Paper
dspace.entity.typePublication
oaire.citation.issueC
oaire.citation.volume213
relation.isAuthorOfPublication23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isAuthorOfPublication.latestForDiscovery23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации