{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:56:06Z","timestamp":1755838566680,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,17]],"date-time":"2016-07-17T00:00:00Z","timestamp":1468713600000},"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":[[2016,7,17]]},"DOI":"10.1145\/3012408.3012414","type":"proceedings-article","created":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T13:45:20Z","timestamp":1484660720000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Source language representation of function summaries in static analysis"],"prefix":"10.1145","author":[{"given":"G\u00e1bor","family":"Horv\u00e1th","sequence":"first","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}]},{"given":"Norbert","family":"Pataki","sequence":"additional","affiliation":[{"name":"E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"}]}],"member":"320","published-online":{"date-parts":[[2016,7,17]]},"reference":[{"volume-title":"Inc.","year":"1986","author":"Aho A. V.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_30"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_16"},{"volume-title":"DIKU","year":"1994","author":"Andersen L. O.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_10"},{"key":"e_1_3_2_1_7_1","unstructured":"J. Groff and C. Lattner. Swift's high-level ir: A case study of complementing llvm ir with language-specific optimization. Lecture at The ninth meeting of LLVM Developers and Users 2015.  J. Groff and C. Lattner. Swift's high-level ir: A case study of complementing llvm ir with language-specific optimization. Lecture at The ninth meeting of LLVM Developers and Users 2015."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108808"},{"key":"e_1_3_2_1_9_1","unstructured":"G. Horv\u00e1th. Patch contributed to Clang. http:\/\/reviews.llvm.org\/rL216550 2014.  G. Horv\u00e1th. Patch contributed to Clang. http:\/\/reviews.llvm.org\/rL216550 2014."},{"key":"e_1_3_2_1_10_1","first-page":"99","article-title":"Clang matchers for verified usage of the C++ Standard Template Library","volume":"44","author":"Horv\u00e1th G.","year":"2015","journal-title":"Annales Mathematicae et Informaticae"},{"key":"e_1_3_2_1_11_1","unstructured":"C. Lattner. Llvm and clang: Next generation compiler technology. Lecture at BSD Conference 2008 2008.  C. Lattner. Llvm and clang: Next generation compiler technology. Lecture at BSD Conference 2008 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2009.56"},{"key":"e_1_3_2_1_13_1","first-page":"343","volume-title":"Proceedings of the 8th international conference on applied informatics (ICAI 2010","volume":"2","author":"Mihalicza J.","year":"2012"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45306-7_3"},{"key":"e_1_3_2_1_16_1","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley Professional 4th edition 2013.  B. Stroustrup. The C++ Programming Language. Addison-Wesley Professional 4th edition 2013."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16558-0_44"}],"event":{"name":"ECOOP '16: European Conference on Object-Oriented Programming","acronym":"ECOOP '16","location":"Rome Italy"},"container-title":["Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3012408.3012414","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3012408.3012414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:47Z","timestamp":1750222487000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3012408.3012414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,17]]},"references-count":17,"alternative-id":["10.1145\/3012408.3012414","10.1145\/3012408"],"URL":"https:\/\/doi.org\/10.1145\/3012408.3012414","relation":{},"subject":[],"published":{"date-parts":[[2016,7,17]]},"assertion":[{"value":"2016-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}