Publication:
Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus

Простая страница элемента
dc.contributor.authorSlieptsov, I. O.
dc.contributor.authorIsmailova, L. Y.
dc.contributor.authorKosikov, S. V.
dc.contributor.authorИсмаилова, Лариса Юсифовна
dc.date.accessioned2024-12-25T17:37:08Z
dc.date.available2024-12-25T17:37:08Z
dc.date.issued2022
dc.description.abstractThe given paper considers the problem of generating words of a context-dependent language and the problem of quantitative assessment of the constructed generators properties. The problem is considered in the context of property-bassed unit testing: this paper provides the developer with a method of comparing generators in order to find the most optimal one to ensure the required ratio of time for generating the test data, their complexity, diversity or other characteristics. The article proposes a system of characteristics that can be used to compare generators. The generator of typed О»-terms is considered as an example.
dc.format.extentС. 563-569
dc.identifier.citationSlieptsov, I. O. Analysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus / Slieptsov, I. O., Ismailova, L. Y., Kosikov, S. V. // Procedia Computer Science. - 2022. - 213. - № C. - P. 563-569. - 10.1016/j.procs.2022.11.105
dc.identifier.doi10.1016/j.procs.2022.11.105
dc.identifier.urihttps://www.doi.org/10.1016/j.procs.2022.11.105
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85146111260&origin=resultslist
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/28297
dc.relation.ispartofProcedia Computer Science
dc.titleAnalysis and comparison of generators of words of context-sensitive language on example of typed λ-calculus
dc.typeConference Paper
dspace.entity.typePublication
oaire.citation.issueC
oaire.citation.volume213
relation.isAuthorOfPublication5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isAuthorOfPublication.latestForDiscovery5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации