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

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

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

  3. 2020

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

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

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

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

  6. 2019

  7. Relational Interpreters for Search Problems.

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

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

  8. 2018

  9. 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 стр.

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

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

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

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

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

  12. 2015

  13. Combinators and type-driven transformers in Objective Caml

    Boulytchev, D., 15 дек 2015, в: Science of Computer Programming. 114, стр. 57-73 17 стр.

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

  14. Polynomial-Time Optimal Pretty-Printing Combinators with Choice

    Podkopaev, A. & Boulytchev, D., 2015, в: Lecture Notes in Computer Science. 8974, стр. 257-265

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

  15. 2014

  16. Precise garbage collection for C++ with a non-cooperative compiler

    Berezun, D. & Boulytchev, D., 23 окт 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, a15. (ACM International Conference Proceeding Series; том 23-24-October-2014).

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

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

ID: 156171