{ "labelLang" : "hun", "responseDate" : "2024-03-28 09:47", "content" : { "otype" : "JournalArticle", "mtid" : 2906009, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-10-02T08:54:25.000+0000", "deleted" : false, "oldId" : 2906009, "lastRefresh" : "2024-02-17T23:17:14.614+0000", "lastModified" : "2020-12-22T17:04:23.030+0000", "created" : "2015-06-11T17:55:21.000+0000", "creator" : { "otype" : "Author", "mtid" : 10029390, "link" : "/api/author/10029390", "label" : "Pataki Norbert (Informatika)", "familyName" : "Pataki", "givenName" : "Norbert", "published" : true, "oldId" : 10029390, "snippet" : true }, "lastDuplumOK" : "2019-11-11T10:17:52.066+0000", "lastDuplumSearch" : "2019-11-11T10:17:52.066+0000", "adminApproved" : "2015-06-26T19:25:25.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10028388, "link" : "/api/admin/10028388", "label" : "Szabó Zoltán (ELTE IK, admin)", "familyName" : "Szabó", "givenName" : "Zoltán", "published" : true, "oldId" : 10028388, "snippet" : true }, "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Gábor, Horváth", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 6363759, "link" : "/api/authorship/6363759", "label" : "Gábor, Horváth [Horváth, Gábor (Informatika), szerző] PhD Informatika Doktori Iskola (ELTE / IK)", "listPosition" : 1, "share" : 0.5, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10057712, "link" : "/api/author/10057712", "label" : "Horváth Gábor (Informatika)", "familyName" : "Horváth", "givenName" : "Gábor", "published" : true, "oldId" : 10057712, "snippet" : true }, "familyName" : "Gábor", "givenName" : "Horváth", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 21714786, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 6363760, "link" : "/api/authorship/6363760", "label" : "Norbert, Pataki [Pataki, Norbert (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10029390, "link" : "/api/author/10029390", "label" : "Pataki Norbert (Informatika)", "familyName" : "Pataki", "givenName" : "Norbert", "published" : true, "oldId" : 10029390, "snippet" : true }, "familyName" : "Norbert", "givenName" : "Pataki", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 21714785, "snippet" : true } ], "title" : "Clang matchers for verified usage of the C++ Standard Template Library", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 987330, "link" : "/api/publicationidentifier/987330", "label" : "WoS: 000434915500009", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "000434915500009", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000434915500009", "published" : false, "oldId" : 1838453, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 987331, "link" : "/api/publicationidentifier/987331", "label" : "Scopus: 84930749364", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "84930749364", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84930749364", "published" : false, "oldId" : 1163803, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 987332, "link" : "/api/publicationidentifier/987332", "label" : "Teljes dokumentum: http://ami.ektf.hu/uploads/papers/finalpdf/AMI_44_from99to109.pdf", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://ami.ektf.hu/uploads/papers/finalpdf/AMI_44_from99to109.pdf", "realUrl" : "http://ami.ektf.hu/uploads/papers/finalpdf/AMI_44_from99to109.pdf", "published" : false, "oldId" : 1534775, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10005858, "link" : "/api/journal/10005858", "label" : "ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117", "pIssn" : "1787-5021", "eIssn" : "1787-6117", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN_AND_HUNGARIAN", "hungarian" : true, "published" : true, "oldId" : 10005858, "snippet" : true }, "volume" : "44", "firstPage" : "99", "lastPage" : "109", "firstPageOrInternalIdForSort" : "99", "pageLength" : 11, "publishedYear" : 2015, "subjects" : [ { "otype" : "Classification", "mtid" : 10003, "link" : "/api/classification/10003", "label" : "Matematika", "published" : true, "snippet" : true }, { "otype" : "Classification", "mtid" : 10034, "link" : "/api/classification/10034", "label" : "Számítás- és információtudomány", "published" : true, "snippet" : true } ], "keywords" : [ { "otype" : "Keyword", "mtid" : 1122897, "link" : "/api/keyword/1122897", "label" : "Static analysis", "published" : true, "oldId" : 1122897, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1151174, "link" : "/api/keyword/1151174", "label" : "generic programming", "published" : true, "oldId" : 1151174, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1151486, "link" : "/api/keyword/1151486", "label" : "C++ STL", "published" : true, "oldId" : 1151486, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1215395, "link" : "/api/keyword/1215395", "label" : "ast", "published" : true, "oldId" : 1215395, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1363869, "link" : "/api/keyword/1363869", "label" : "Code validation", "published" : true, "oldId" : 1363869, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1363870, "link" : "/api/keyword/1363870", "label" : "Clang", "published" : true, "oldId" : 1363870, "snippet" : true } ], "digital" : null, "printed" : null, "sourceYear" : 2015, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-18", "oaFree" : false, "oaByAuthor" : { "otype" : "Author", "mtid" : 10029390, "link" : "/api/author/10029390", "label" : "Pataki Norbert (Informatika)", "familyName" : "Pataki", "givenName" : "Norbert", "published" : true, "oldId" : 10029390, "snippet" : true }, "citationCount" : 19, "citationCountUnpublished" : 0, "citationCountWoOther" : 16, "independentCitCountWoOther" : 4, "nationalOriginCitationCount" : 8, "foreignEditionCitationCount" : 9, "doiCitationCount" : 12, "wosCitationCount" : 3, "scopusCitationCount" : 6, "wosScopusCitationCount" : 7, "wosScopusCitationCountWoOther" : 7, "wosScopusIndependentCitationCount" : 1, "wosScopusIndependentCitationCountWoOther" : 1, "independentCitationCount" : 5, "selfCitationCount" : 14, "unhandledCitationCount" : 0, "citingPubCount" : 19, "independentCitingPubCount" : 5, "citingPubCountWoOther" : 16, "independentCitingPubCountWoOther" : 4, "unhandledCitingPubCount" : 0, "citedPubCount" : 7, "citedCount" : 7, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 6 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 9 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 1 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 1 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 2 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2015, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 0, "citingPubCount" : 1, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2016, "publicationCount" : 0, "citationCount" : 3, "independentCitationCount" : 1, "citingPubCount" : 3, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2017, "publicationCount" : 0, "citationCount" : 5, "independentCitationCount" : 3, "citingPubCount" : 5, "independentCitingPubCount" : 3, "oaStats" : null, "oaStats2" : null }, { "year" : 2018, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2019, "publicationCount" : 0, "citationCount" : 4, "independentCitationCount" : 1, "citingPubCount" : 4, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2020, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2021, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 0, "citingPubCount" : 2, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null } ] }, "ratings" : [ { "otype" : "SjrRating", "mtid" : 11014541, "link" : "/api/sjrrating/11014541", "label" : "sjr:Q4 (2015) Scopus - Computer Science (miscellaneous) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117", "listPos" : 199, "rankValue" : 1.0, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1701, "link" : "/api/classificationexternal/1701", "label" : "Scopus - Computer Science (miscellaneous)", "published" : true, "oldId" : 1701, "snippet" : true }, "ranking" : "Q4", "calculation" : "DIRECT", "published" : true, "snippet" : true } ], "ratingsForSort" : "Q4", "references" : [ { "otype" : "Reference", "mtid" : 1996023, "link" : "/api/reference/1996023", "label" : "1. Alexandrescu, A., (2001) Modern C++ Design, , Addison-Wesley", "listPosition" : 1, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996024, "link" : "/api/reference/1996024", "label" : "2. Austern, M.H., (1998) Generic Programming and the STL: Using and Extending the C++ Standard Template Library, , Addison-Wesley", "listPosition" : 2, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996025, "link" : "/api/reference/1996025", "label" : "3. Czarnecki, K., Eisenecker, U.W., (2000) Generative Programming: Methods, Tools and Applications, , Addison-Wesley", "listPosition" : 3, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996026, "link" : "/api/reference/1996026", "label" : "4. Dévai, G., Pataki, N., Towards verified usage of the C++ Standard Template Library (2007) Proc of the 10th Symposium on Programming Languages and Software Tools, pp. 360-371. , (SPLST)", "listPosition" : 4, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996027, "link" : "/api/reference/1996027", "label" : "5. Dévai, G., Pataki, N., A tool for formally specifying the C++ Standard Template Library (2009) Ann. Univ. Sci. Budapest. Comput., 31, pp. 147-166", "listPosition" : 5, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996028, "link" : "/api/reference/1996028", "label" : "6. Gibbs, T.H., Malloy, B.A., Power, J.F., Progression Toward Conformance for C++ Language Compilers (2003) Dr. Dobbs Journal, 28 (11), pp. 54-60", "listPosition" : 6, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996029, "link" : "/api/reference/1996029", "label" : "7. Gregor, D., Schupp, S., STLlint: Lifting static checking from languages to libraries (2006) Software - Practice & Experience, 36 (3), pp. 225-254", "listPosition" : 7, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996030, "link" : "/api/reference/1996030", "label" : "8. Lattner, C., (2008) LLVM and Clang: Next Generation Compiler Technology, , The BSD Conference", "listPosition" : 8, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996031, "link" : "/api/reference/1996031", "label" : "9. Meyers, S., (2001) Effective STL - 50 Specific Ways to Improve Your Use of the Standard Template Library, , Addison-Wesley", "listPosition" : 9, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996032, "link" : "/api/reference/1996032", "label" : "10. Pataki, N., C++ Standard Template Library by Ranges (2010) Proc of the 8th International Conference on Applied Informatics, 2, pp. 367-374. , (ICAI)", "listPosition" : 10, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996033, "link" : "/api/reference/1996033", "label" : "11. Pataki, N., C++ Standard Template Library by Safe Functors (2010) Proc of 8th Joint Conference on Mathematics and Computer Science, pp. 363-374. , MaCS, Selected Papers", "listPosition" : 11, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996034, "link" : "/api/reference/1996034", "label" : "12. Pataki, N., Advanced Functor Framework for C++ Standard Template Library (2011) Studia Universitatis Babes-Bolyai, Informatica, 56 (1), pp. 99-113", "listPosition" : 12, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996035, "link" : "/api/reference/1996035", "label" : "13. Pataki, N., C++ Standard Template Library by template specialized containers (2011) Acta Universitatis Sapientiae, Informatica, 3 (2), pp. 141-157", "listPosition" : 13, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996036, "link" : "/api/reference/1996036", "label" : "14. Pataki, N., Safe Iterator Framework for the C++ Standard Template Library (2012) Acta Electrotechnica et Informatica, 12 (1), pp. 17-24", "listPosition" : 14, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996037, "link" : "/api/reference/1996037", "label" : "15. Pataki, N., Compile-time Advances of the C++ Standard Template Library, Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae (2012) Sectio Computatorica, 36, pp. 341-353. , Selected papers of 9th Joint Conference on Mathematics and Computer Science MaCS 2012", "listPosition" : 15, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996038, "link" : "/api/reference/1996038", "label" : "16. Pataki, N., Porkoláb, Z., Istenes, Z., Towards Soundness Examination of the C++ Standard Template Library (2006) Proc of Electronic Computers and Informatics, pp. 186-191. , ECI", "listPosition" : 16, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996039, "link" : "/api/reference/1996039", "label" : "17. Pataki, N., Porkoláb, Z., Extension of Iterator Traits in the C++ Standard Template Library (2010) Proc of the Federated Conference on Computer Science and Information Systems, pp. 911-914. , FedCSIS", "listPosition" : 17, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996040, "link" : "/api/reference/1996040", "label" : "18. Pataki, N., Szugyi, Z., Dévai, G., C++ Standard Template Library in a Safer Way (2010) Proc of Workshop on Generative Technologies, pp. 46-55. , (WGT 2010)", "listPosition" : 18, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996041, "link" : "/api/reference/1996041", "label" : "19. Pataki, N., Szugyi, Z., Dévai, G., Measuring the Overhead of C++ Standard Template Library Safe Variants (2011) Electronic Notes in Theoret. Comput. Sci., 264 (5), pp. 71-83", "listPosition" : 19, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996042, "link" : "/api/reference/1996042", "label" : "20. Pirkelbauer, P., Parent, S., Marcus, M., Stroustrup, B., Runtime Concepts for the C++ Standard Template Library Proc of the 2008 ACM symposium on Applied computing, pp. 171-177", "listPosition" : 20, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996043, "link" : "/api/reference/1996043", "label" : "21. Porkoláb, Z., Functional Programming with C++ Template Metaprograms (2010) Lecture Notes in Comput. Sci., 6299, pp. 306-353", "listPosition" : 21, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996044, "link" : "/api/reference/1996044", "label" : "22. Stroustrup, B., (1999) The C++ Programming Language, , Addison-Wesley", "listPosition" : 22, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996045, "link" : "/api/reference/1996045", "label" : "23. Torgensen, M., The Expression Problem Revisited - Four new solutions using generics (2004) Lecture Notes in Comput. Sci., 3286, pp. 123-143", "listPosition" : 23, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996046, "link" : "/api/reference/1996046", "label" : "24. Zolman, L., An STL message decryptor for visual C++ (2001) C/C++ Users Journal, 19 (7), pp. 24-30", "listPosition" : 24, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996047, "link" : "/api/reference/1996047", "label" : "25. Zólyomi, I., Porkoláb, Z., Towards a General Template Introspection Library (2004) Lecture Notes in Comput. Sci., 3286, pp. 266-282", "listPosition" : 25, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 1996048, "link" : "/api/reference/1996048", "label" : "26. Joshi, A., Tewari, A., Kumar, V., Bordoloi, D., Integrating Static Analysis Tools for Improving Operating System Security (2014) International Journal of Computer Science and Mobile Computing, 3 (4), pp. 1251-1258", "listPosition" : 26, "published" : false, "snippet" : true } ], "hasCitationDuplums" : false, "userChangeableUntil" : "2015-06-26T19:25:25.000+0000", "publishDate" : "2015-06-11T17:56:20.000+0000", "directInstitutesForSort" : "PhD Informatika Doktori Iskola (ELTE / IK); Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "ownerAuthorCount" : 2, "ownerInstituteCount" : 6, "directInstituteCount" : 2, "authorCount" : 2, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/2906009", "label" : "Gábor Horváth et al. Clang matchers for verified usage of the C++ Standard Template Library. (2015) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 44 99-109", "template" : "