1 - 5 из 5Размер страницы: 10
Сортировать по:: Год публикации
  1. 2024

  2. Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений

    Косарев, Д. С., Лозов, П. А. & Булычев, Д. Ю., 2024, в: Труды института системного программирования РАН. 36, 5, стр. 47-66

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. 2023

  4. Relational Solver for Java Generics Type System

    Лозов, П. А., Косарев, Д. С., Иванов, Д. & Булычев, Д. Ю., 2023, Logic-Based Program Synthesis and Transformation (LOPSTR 2023). Springer Nature, стр. 118–128

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  5. 2020

  6. Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ред.). Springer Nature, стр. 293-310 18 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  7. 2019

  8. Relational Interpreters for Search Problems.

    Lozov, P., Verbitskay, E. & Булычев, Д. Ю., 2019, стр. 43-57.

    Результаты исследований: Материалы конференций › тезисы

  9. 2018

  10. Typed Relational Conversion

    Lozov, P., Vyatkin, A. & Boulytchev, D., 19 апр 2018, Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Springer Nature, стр. 39-58 19 стр. (Lecture Notes in Computer Science; том 10788).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

ID: 13808602