1 - 10 из 17Размер страницы: 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. 2021

  6. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 янв 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (ред.). Association for Computing Machinery, стр. 58-73 16 стр. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

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

  7. Обобщенное программирование с комбинаторами и объектами

    Косарев, Д. С. & Булычев, Д. Ю., 2021, в: НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ. 21, 5, стр. 720–726

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

  8. 2020

  9. Certified Semantics for Relational Programming

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

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

  10. 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).

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

  11. 2019

  12. Relational Interpreters for Search Problems.

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

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

  13. 2018

  14. Typed embedding of a relational language in OCaml

    Kosarev, D. & Boulytchev, D., 31 дек 2018, в: Electronic Proceedings in Theoretical Computer Science, EPTCS. 285, стр. 1-22 22 стр.

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

  15. Improving Refutational Completeness of Relational Search via Divergence Test

    Rozplokhas, D. & Булычев, Д. Ю., 3 сен 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 стр. (Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming).

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

  16. 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).

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

Назад 1 2 Далее

ID: 156171