1 - 5 out of 5Page size: 10
  1. 2024

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

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

    Research output: Contribution to journal › Article › peer-review

  3. 2023

  4. Relational Solver for Java Generics Type System

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  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. (ed.). Springer Nature, p. 293-310 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. 2019

  8. Relational Interpreters for Search Problems.

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

    Research output: Contribution to conference › Abstract

  9. 2018

  10. Typed Relational Conversion

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

ID: 13808602