1 - 2 out of 2Page size: 10
  1. 2021

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

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

  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, In: Труды института системного программирования РАН. 29, 4, p. 303-314

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

ID: 18610304