For citations:
SHUGALEY N.Yu., IVANISHIN V.A., MONAKOV A.V. Detecting Potentially Clobbered Variables due to the Use of Nonlocal Jumps Functions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(6):121-134. (In Russ.) https://doi.org/10.15514/ISPRAS-2023-35(6)-7