Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

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


СОЛОВЬЕВ М.А., БАКУЛИН М.Г., МАКАРОВ С.С., МАНУШИН Д.В., ПАДАРЯН В.А. Практическая абстрактная интерпретация бинарного кода. Труды Института системного программирования РАН. 2020;32(6):101-110. https://doi.org/10.15514/ISPRAS-2020-32(6)-8

For citation:


SOLOVEV M.A., BAKULIN M.G., MAKAROV S.S., MANUSHIN D.V., PADARYAN V.A. Practical Abstract Interpretation of Binary Code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2020;32(6):101-110. (In Russ.) https://doi.org/10.15514/ISPRAS-2020-32(6)-8



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)