1. 2025
  2. Universal High-Performance CFL-Reachability via Matrix Multiplication

    Муравьев, И. В. & Григорьев, С. В., 13 июн 2025, SOAP '25: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery, стр. 28-35 8 стр.

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

ID: 61475735