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

  2. Beyond the elementary representations of program invariants over algebraic data types

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 июн 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (ред.). Association for Computing Machinery, стр. 451-465 15 стр. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

  3. 2017

  4. DISCOVERING NEAR DUPLICATE TEXT IN SOFTWARE DOCUMENTATION

    Kanteev, L. D., Kostyukov., Y. O., Luciv, D. V., Koznov, D. V. & Smirnov, M. N., 2017, в: Труды института системного программирования РАН. 29, 4, стр. 303-314

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

ID: 18610304