Подписаться
Ekaterina Verbitskaia
Ekaterina Verbitskaia
JetBrains Research
Подтвержден адрес электронной почты в домене jetbrains.com
Название
Процитировано
Процитировано
Год
Relaxed parsing of regular approximations of string-embedded languages
E Verbitskaia, S Grigorev, D Avdyukhin
Perspectives of System Informatics: 10th International Andrei Ershov …, 2016
232016
Relational Interpreters for Search Problems
P Lozov, E Verbitskaia, D Boulytchev
miniKanren and Relational Programming Workshop, 43, 2019
132019
Parser combinators for context-free path querying
E Verbitskaia, I Kirillov, I Nozkin, S Grigorev
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, 13-23, 2018
92018
String-embedded language support in integrated development environment
S Grigorev, E Verbitskaia, A Ivanov, M Polubelova, E Mavchun
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
62014
An Empirical Study of Partial Deduction for miniKanren
E Verbitskaia, D Berezun, D Boulytchev
42020
On a Direction-Driven Functional Conversion
E Verbitskaia, D Berezun, D Boulytchev
miniKanren workshop, 2022
12022
Binding-Time Analysis for miniKanren
E Verbitskaia, I Artemeva, D Berezun
12020
A Case Study in Functional Conversion and Mode Inference in miniKanren
E Verbitskaia, I Engel, D Berezun
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial …, 2024
2024
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, EPTCS
A Lisitsa, A Nemytykh, A Nepeivoda, E Verbitskaia, D Berezun, ...
2021
Binding-time analysis for relational programs
I Artemeva, E Verbitskaia
CEUR Workshop Proceedings, 2020
2020
An Empirical Study of Partial Deduction for miniKanren
E VERBITSKAIA, D BEREZUN, D BOULYTCHEV
2020
IDE support of string-embedded languages
S Grigorev, E Verbitskaia, M Polubelova, A Ivanov, E Mavchun
Modelirovanie i Analiz Informacionnyh Sistem 21 (6), 131-143, 2014
2014
Semi-Automated Direction-Driven Functional Conversion
E VERBITSKAIA, I ENGEL, D BEREZUN
Supercompilation Strategies for MINIKANREN
M Kuklina, E Verbitskaia
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–14