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

АФАНАСЬЕВ В.О., ДВОРЦОВА В.В., БОРОДИН А.Е. Статический анализатор для языков с обработкой исключений. Труды Института системного программирования РАН. 2022;34(6):7-28. https://doi.org/10.15514/ISPRAS-2022-34(6)-1

For citation:

AFANASYEV V.O., DVORTSOVA V.V., BORODIN A.E. Static analysis for languages with exception handling. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(6):7-28. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(6)-1