Preview

User

Not a user? Register with this site Forgot your password?

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search
Fullscreen

For citations:

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



Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


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

109004, Alexander Solzhenitsyn st., 25., Moscow, Russian Federation
Institute for System Programming of the RAS
tel.: +7(495) 912-44-25,
e-mail: proceedings@ispras.ru

Processing of personal data
supported by NEICON (Elpub lab)