{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:03:59Z","timestamp":1775055839122,"version":"3.50.1"},"reference-count":11,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2017,11,1]],"date-time":"2017-11-01T00:00:00Z","timestamp":1509494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1134\/s0361768817060044","type":"journal-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T20:27:34Z","timestamp":1513283254000},"page":"321-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Multilevel static analysis for improving program quality"],"prefix":"10.1134","volume":"43","author":[{"given":"A. A.","family":"Belevantsev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2017,12,16]]},"reference":[{"key":"6362_CR1","volume-title":"The Art of Computer Programming, Volume 3: Sorting and Searching","author":"D. Knuth","year":"1998","unstructured":"Knuth, D., The Art of Computer Programming, Volume 3: Sorting and Searching, Addison-Wesley, 1998."},{"key":"6362_CR2","first-page":"207","volume-title":"Proc. 6th IEEE Int. Workshop on Source Code Analysis and Manipulation (SCAM'06)","author":"D. Strein","year":"2006","unstructured":"Strein, D., Kratz, H., and Lowe, W., Cross-language program analysis and refactoring, Proc. 6th IEEE Int. Workshop on Source Code Analysis and Manipulation (SCAM'06), Washington, DC: IEEE Comput. Soc., 2006, pp. 207\u2013216."},{"key":"6362_CR3","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/978-3-642-16558-0_44","volume-title":"Proc. 4th Int. Conf. Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA'10)","author":"Z. Xu","year":"2010","unstructured":"Xu, Z., Kremenek, T., and Zhang, J., A memory model for static analysis of C programs, Proc. 4th Int. Conf. Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA'10), Margaria, T. and Steffen, B., Eds., Berlin: Springer, 2010, vol. 1, pp. 535\u2013548.","edition":"1"},{"key":"6362_CR4","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Proc. 4th ACM SIGACT SIGPLAN Symp. on Principles of Programming Languages (POPL'77)","author":"P. Cousot","year":"1977","unstructured":"Cousot, P. and Cousot, R., Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. 4th ACM SIGACT SIGPLAN Symp. on Principles of Programming Languages (POPL'77), New York: ACM, 1977, pp. 238\u2013252"},{"key":"6362_CR5","first-page":"289","volume-title":"Proc.18th Int. Conf. Languages and Compilers for Parallel Computing (LCPC)","author":"Sh. Wang","year":"2005","unstructured":"Wang, Sh., Dai, X., Yellajyosula, K.S., Zhai, A., and Yew, P.-Ch., Loop selection for thread-level speculation, Proc.18th Int. Conf. Languages and Compilers for Parallel Computing (LCPC), Ayguade, E., Baumgartner, G., Ramanujam, J., and Sadayappan, P., Eds., Berlin: Springer, 2005, pp. 289\u2013303."},{"key":"6362_CR6","volume-title":"Cand. Sci. (Phys.\u2013Math.) Dissertation","author":"A.E. Borodin","year":"2016","unstructured":"Borodin, A.E., Interprocedural context-sensitive static analysis for bug detection in the source code of C and C++ programs, Cand. Sci. (Phys.\u2013Math.) Dissertation, Moscow, 2016."},{"key":"6362_CR7","unstructured":"Taft, T., The use of value numbers in static analysis. http:\/\/www.adacore.com\/knowledge\/technicalpapers\/the-use-of-value-numbers-in-static-analysis."},{"issue":"1","key":"6362_CR8","first-page":"21","volume":"28","author":"V.K. Koshelev","year":"2016","unstructured":"Koshelev, V.K., Ignat\u2019ev, V.N., and Borzilov, A.I., Infrastructure for static analysis of C# programs, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2016, vol. 28, no. 1, pp. 21\u201340.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"key":"6362_CR9","first-page":"231","volume":"26","author":"V.P. Ivannikov","year":"2014","unstructured":"Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat\u2019ev, V.N., Zhurikhin, D.M., Avetisyan, A.I., and Leonov, M.I., Svace static analyzer for bug detection in program source code, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2014, vol. 26, pp. 231\u2013250.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"issue":"6","key":"6362_CR10","first-page":"111","volume":"27","author":"A.E. Borodin","year":"2015","unstructured":"Borodin, A.E. and Belevantsev, A.A., Svace static analyzer as a collection of analyzers of different levels of complexity, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2015, vol. 27, no. 6, pp. 111\u2013134.","journal-title":"Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk"},{"key":"6362_CR11","volume-title":"Comput. Lang.","author":"M. Sharir","year":"1980","unstructured":"Sharir, M., Structural analysis: A new approach to flow analysis in optimizing compilers, Comput. Lang., 1980. doi 10.1016\/0096-0551(80)90007-7"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768817060044.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768817060044","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768817060044.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:33:54Z","timestamp":1775010834000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768817060044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["6362"],"URL":"https:\/\/doi.org\/10.1134\/s0361768817060044","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11]]},"assertion":[{"value":"15 July 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2017","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}