{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:34:28Z","timestamp":1775018068781,"version":"3.50.1"},"reference-count":16,"publisher":"Pleiades Publishing Ltd","issue":"7","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"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":[[2023,12]]},"DOI":"10.1134\/s0361768823070022","type":"journal-article","created":{"date-parts":[[2023,12,7]],"date-time":"2023-12-07T14:02:14Z","timestamp":1701957734000},"page":"549-558","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Kotlin from the Point of View of Static Analysis Developer"],"prefix":"10.1134","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8036-0633","authenticated-orcid":false,"given":"V. O.","family":"Afanasyev","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8542-8035","authenticated-orcid":false,"given":"S. A.","family":"Polyakov","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3183-9821","authenticated-orcid":false,"given":"A. E.","family":"Borodin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2817-0397","authenticated-orcid":false,"given":"A. A.","family":"Belevantsev","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2023,12,7]]},"reference":[{"key":"3769_CR1","unstructured":"JetBrains. https:\/\/www.jetbrains.com. Accessed October 6, 2021."},{"key":"3769_CR2","unstructured":"Miller, P., Google is adding Kotlin as an official programming language for Android development. https:\/\/www.theverge.com\/2017\/5\/17\/15654988\/google-jet-brains-kotlin-programming-language-android-development-io-2017. Accessed October 6, 2021."},{"key":"3769_CR3","unstructured":"The Java Virtual Machine Specification, Java SE 8 Edition. https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/html. Accessed October 6, 2021."},{"key":"3769_CR4","unstructured":"Hoare, C.A.R., Null references: The billion dollar mistake, 2009. https:\/\/www.infoq.com\/presentations\/null-references-the-billion-dollar-mistake-tony-hoare. Accessed October 6, 2021."},{"key":"3769_CR5","unstructured":"Detekt analyzer. https:\/\/detekt.github.io\/detekt. Accessed October 6, 2021."},{"key":"3769_CR6","unstructured":"An anti-bikeshedding Kotlin linter with built-in formatter. https:\/\/ktlint.github.io. Accessed October 6, 2021."},{"key":"3769_CR7","doi-asserted-by":"publisher","unstructured":"Ivannikov, V.P., Belevantsev, A.A., et al., Static analyzer Svace for finding of defects in program source code, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2014, vol. 26, no. 1, pp. 231\u2013250. https:\/\/doi.org\/10.15514\/ISPRAS-2014-26(1)-7","DOI":"10.15514\/ISPRAS-2014-26(1)-7"},{"key":"3769_CR8","doi-asserted-by":"publisher","unstructured":"Borodin, A.E. and Belevantsev, A.A., A static analysis tool Svace as a collection of analyzers with various complexity levels, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2015, vol.\u00a027, no. 6, pp. 111\u2013134. https:\/\/doi.org\/10.15514\/ISPRAS-2015-27(6)-8","DOI":"10.15514\/ISPRAS-2015-27(6)-8"},{"key":"3769_CR9","unstructured":"Belevantsev, A.A., Izbyshev, A.O., and Zhurikhin, D.M., Monitoring program builds for Svace static analyzer, Sist. Admin., 2017, nos. 7\u20138, pp. 135\u2013139."},{"key":"3769_CR10","unstructured":"Package java.lang.instrument. https:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/lang\/instrument\/package-summary.html. Accessed October 6, 2021."},{"key":"3769_CR11","unstructured":"Kotlin evolution. https:\/\/kotlinlang.org\/docs\/kotlin-evolution.html. Accessed October 6, 2021."},{"key":"3769_CR12","unstructured":"Using kapt. https:\/\/kotlinlang.org\/docs\/kapt.html. Accessed October 6, 2021."},{"key":"3769_CR13","doi-asserted-by":"publisher","unstructured":"Merkulov, A.P., Polyakov, S.A., and Belevantsev, A.A., Supporting Java programming in the Svace static analyzer, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2017, vol. 29, no.\u00a03, pp. 57\u201374. https:\/\/doi.org\/10.15514\/ISPRAS-2017-29(3)-5","DOI":"10.15514\/ISPRAS-2017-29(3)-5"},{"key":"3769_CR14","doi-asserted-by":"publisher","unstructured":"Borodin, A.E. and Dudina, I.A., Symbolic execution based intra-procedural analysis for search for defects, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2020, vol. 32, no. 6, pp. 87\u2013100. https:\/\/doi.org\/10.15514\/ISPRAS-2020-32(6)-7","DOI":"10.15514\/ISPRAS-2020-32(6)-7"},{"key":"3769_CR15","doi-asserted-by":"publisher","unstructured":"Belevantsev, A.A. and Velesevich, E.A., Analyzing C\/C++ code entities and relations for program understanding, Tr. Inst. Sist. Program. Ross. Akad. Nauk (Proc. Inst. Syst. Program. Russ. Acad. Sci.), 2015, vol.\u00a027, no. 2, pp. 53\u201364. https:\/\/doi.org\/10.15514\/ISPRAS-2015-27(2)-4","DOI":"10.15514\/ISPRAS-2015-27(2)-4"},{"key":"3769_CR16","unstructured":"Kotlin compiler project. https:\/\/github.com\/JetBrains\/kotlin. Accessed October 19, 2021."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768823070022.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768823070022","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768823070022.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:49:42Z","timestamp":1775011782000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768823070022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":16,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["3769"],"URL":"https:\/\/doi.org\/10.1134\/s0361768823070022","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12]]},"assertion":[{"value":"10 January 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2023","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2023","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}