Для цитирования:

ПЕТРОВ О.М. Мемоизация абстракций блоков для символьных графов памяти. Труды Института системного программирования РАН. 2026;38(5):337-350. https://doi.org/10.15514/ISPRAS-2026-38(5)-19

For citation:

PETROV O.M. Block-Abstraction Memoization for Symbolic Memory Graphs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2026;38(5):337-350. https://doi.org/10.15514/ISPRAS-2026-38(5)-19