{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:56:39Z","timestamp":1773615399651,"version":"3.50.1"},"reference-count":10,"publisher":"Allerton Press","issue":"7","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"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":["Aut. Conrol Comp. Sci."],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.3103\/s014641161107008x","type":"journal-article","created":{"date-parts":[[2012,1,5]],"date-time":"2012-01-05T17:57:59Z","timestamp":1325786279000},"page":"408-412","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Integration of semantic verifiers into Java language compilers"],"prefix":"10.3103","volume":"45","author":[{"given":"A. V.","family":"Klepinin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. A.","family":"Melentyev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2012,1,6]]},"reference":[{"key":"6167_CR1","unstructured":"PMD, Java Source Code Verificator. http:\/\/pmd.sourceforge.net\/"},{"key":"6167_CR2","unstructured":"Findbugs, Java Bute Code Verificator. http:\/\/findbugs.sourceforge.net\/"},{"key":"6167_CR3","doi-asserted-by":"crossref","unstructured":"Ayewah, N., Pugh, W., Morgenthaler, J.D., Penix, J., and Zhou, Y., Using Findbugs on Production Software, Proc. 22nd ACM SIGPLAN Conf. on Object-Oriented Programming Systems and Applications Companion, OOPSLA\u201907, New York, 2007, pp. 805\u2013806.","DOI":"10.1145\/1297846.1297897"},{"issue":"2","key":"6167_CR4","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/B:FORM.0000017721.39909.4b","volume":"24","author":"H. Klaus","year":"2004","unstructured":"Klaus, H. and Grigore, R., An Overview of the Runtime Verification Tool Java Path Explorer, Formal Methods in System Design, 2004, vol. 24, no. 2, pp. 189\u2013215.","journal-title":"Formal Methods in System Design"},{"key":"6167_CR5","unstructured":"JSR269: Pluggable Annotation Processing API. http:\/\/jcp.org\/en\/jsr\/detail?id=269"},{"key":"6167_CR6","unstructured":"Project Lombok. http:\/\/projectlombok.org\/"},{"key":"6167_CR7","doi-asserted-by":"crossref","unstructured":"Papi, M.M., Ali, M., Correa, T.L., Jr., Perkins, J.H., and Ernst, M.D., Practical Pluggable Types for Java, Proc. 2008 Int. Conf. on Software Testing and Analysis, ISSTA 2008, Seattle, USA, 2008, pp. 201\u2013212.","DOI":"10.1145\/1390630.1390656"},{"key":"6167_CR8","unstructured":"Universal AST Project for Checker Framework. http:\/\/code.google.com\/p\/checker-framework\/wiki\/ideas#universal_AST"},{"key":"6167_CR9","unstructured":"Java Unified Abstract Syntax Tree Project. http\/\/bitbucket.org\/amelentev\/juast\/"},{"key":"6167_CR10","unstructured":"java.util.Service Loader. http:\/\/java.sun.com\/javase\/6\/docs\/api\/java\/util\/serviceloader.html"}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641161107008X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S014641161107008X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641161107008X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S014641161107008X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:59:22Z","timestamp":1773611962000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S014641161107008X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":10,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["6167"],"URL":"https:\/\/doi.org\/10.3103\/s014641161107008x","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"14 October 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 January 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}