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

КАРЦЕВ В.С., ИГНАТЬЕВ В.Н. Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение. Труды Института системного программирования РАН. 2022;34(6):29-40. https://doi.org/10.15514/ISPRAS-2022-34(6)-2

For citation:

KARCEV V.S., IGNATYEV V.N. Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(6):29-40. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(6)-2