{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:54Z","timestamp":1750220814388,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T00:00:00Z","timestamp":1569456000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,26]]},"DOI":"10.1145\/3351556.3351570","type":"proceedings-article","created":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T12:16:25Z","timestamp":1567685785000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Validated Usage of the C++ Standard Template Library"],"prefix":"10.1145","author":[{"given":"Bence","family":"Babati","sequence":"first","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Department of Programming Languages and Compilers, Hungary, Budapest"}]},{"given":"G\u00e1bor","family":"Horv\u00e1th","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Department of Programming Languages and Compilers, Hungary, Budapest"}]},{"given":"Norbert","family":"Pataki","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Department of Programming Languages and Compilers, Hungary, Budapest"}]},{"given":"Attila","family":"P\u00e1ter-R\u00e9szeg","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Department of Programming Languages and Compilers, Hungary, Budapest"}]}],"member":"320","published-online":{"date-parts":[[2019,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. Clang Tidy a Clang-based linting tool. https:\/\/clang.llvm.org\/extra\/clangtidy\/. {Online; accessed 28-February-2019}.  {n. d.}. Clang Tidy a Clang-based linting tool. https:\/\/clang.llvm.org\/extra\/clangtidy\/. {Online; accessed 28-February-2019}."},{"key":"e_1_3_2_1_2_1","unstructured":"Andrei Alexandrescu. 2001. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   Andrei Alexandrescu. 2001. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"key":"e_1_3_2_1_3_1","unstructured":"Matthew H. Austern. 1998. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   Matthew H. Austern. 1998. Generic Programming and the STL: Using and Extending the C++ Standard Template Library. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"volume-title":"Proceedings of the 10th International Conference on Applied Informatics (ICAI","year":"2017","author":"Babati Bence","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.15439\/2017F358"},{"key":"e_1_3_2_1_6_1","unstructured":"Krzysztof Czarnecki and Ulrich W. Eisenecker. 2000. Generative Programming: Methods Tools and Applications. ACM Press\/Addison-Wesley Publishing Co. New York NY USA.   Krzysztof Czarnecki and Ulrich W. Eisenecker. 2000. Generative Programming: Methods Tools and Applications. ACM Press\/Addison-Wesley Publishing Co. New York NY USA."},{"volume-title":"Proc. of The 10th Symposium on Programming Languages and Software Tools (SPLST)","year":"2007","author":"D\u00e9vai Gergely","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","first-page":"147","article-title":"A tool for formally specifying the C++ Standard Template Library. Annales Universitatis Scientiarum Budapestinensis de Rolando E\u00f6tv\u00f6s Nominatae","volume":"31","author":"D\u00e9vai Gergely","year":"2009","journal-title":"Sectio Computatorica"},{"key":"e_1_3_2_1_9_1","first-page":"99","article-title":"Clang matchers for verified usage of the C++ Standard Template Library","volume":"44","author":"Horv\u00e1th G\u00e1bor","year":"2015","journal-title":"Annales Mathematicae et Informaticae"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3012408.3012414"},{"volume-title":"Proceedings of the 10th International Conference on Applied Informatics (ICAI","year":"2017","author":"Horv\u00e1th G\u00e1bor","key":"e_1_3_2_1_11_1"},{"volume-title":"ECOOP'97 --- Object-Oriented Programming, Mehmet Ak\u015fit and Satoshi Matsuoka (Eds.)","author":"Kiczales Gregor","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","unstructured":"Chris Lattner. 2008. LLVM and Clang: Next Generation Compiler Technology. Lecture at BSD Conference 2008.  Chris Lattner. 2008. LLVM and Clang: Next Generation Compiler Technology. Lecture at BSD Conference 2008."},{"key":"e_1_3_2_1_14_1","unstructured":"Bruno Cardoso Lopes and Rafael Auler. 2014. Getting Started with LLVM Core Libraries. Packt Publishing.   Bruno Cardoso Lopes and Rafael Auler. 2014. Getting Started with LLVM Core Libraries. Packt Publishing."},{"key":"e_1_3_2_1_15_1","unstructured":"Scott Meyers. 2001. Effective STL. Addison-Wesley.  Scott Meyers. 2001. Effective STL. Addison-Wesley."},{"key":"e_1_3_2_1_16_1","first-page":"99","article-title":"Advanced Functor Framework for C++ Standard Template Library. Studia Universitatis Babe\u015f-Bolyai","author":"Pataki Norbert","year":"2011","journal-title":"Informatica"},{"key":"e_1_3_2_1_17_1","first-page":"341","article-title":"Compile-time advances of the C++ Standard Template Library","volume":"36","author":"Pataki Norbert","year":"2012","journal-title":"Annales Universitatis Scientiarium Budapestinensis de Rolando E\u00f6tv\u00f6s Nominatae Sectio Computatorica"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.2478\/v10198-012-0003-9"},{"volume-title":"Proceedings of the Federated Conference on Computer Science and Information Systems. IEEE Computer Society Press","year":"2011","author":"Pataki Norbert","key":"e_1_3_2_1_19_1"},{"volume-title":"Proc. of Workshop on Generative Technologies 2010 (WGT","year":"2010","author":"Pataki Norbert","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.06.005"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363734"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939128.1939137"},{"volume-title":"ARVE: Aspect-Oriented Runtime Verification Environment","year":"2007","author":"Shin Hiromasa","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2007.05.004"},{"key":"e_1_3_2_1_26_1","unstructured":"Bjarne Stroustrup. 2000. The C++ Programming Language (3rd ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   Bjarne Stroustrup. 2000. The C++ Programming Language (3rd ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_6"},{"key":"e_1_3_2_1_28_1","unstructured":"Leor Zolman. 2001. An STL message decryptor for Visual C++. C\/C++ Users Journal 19 7 (2001) 24--30.   Leor Zolman. 2001. An STL message decryptor for Visual C++. C\/C++ Users Journal 19 7 (2001) 24--30."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30175-2_14"}],"event":{"name":"BCI'19: 9th Balkan Conference in Informatics","sponsor":["Technical University of Sofia"],"location":"Sofia Bulgaria","acronym":"BCI'19"},"container-title":["Proceedings of the 9th Balkan Conference on Informatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3351556.3351570","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3351556.3351570","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:03Z","timestamp":1750201983000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3351556.3351570"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,26]]},"references-count":29,"alternative-id":["10.1145\/3351556.3351570","10.1145\/3351556"],"URL":"https:\/\/doi.org\/10.1145\/3351556.3351570","relation":{},"subject":[],"published":{"date-parts":[[2019,9,26]]},"assertion":[{"value":"2019-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}