{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:44Z","timestamp":1750221284642,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,21]],"date-time":"2017-09-21T00:00:00Z","timestamp":1505952000000},"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":[[2017,9,21]]},"DOI":"10.1145\/3125374.3125379","type":"proceedings-article","created":{"date-parts":[[2017,9,20]],"date-time":"2017-09-20T12:36:22Z","timestamp":1505910982000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Demand-driven less-than analysis"],"prefix":"10.1145","author":[{"given":"Junio Cezar R.","family":"da Silva","sequence":"first","affiliation":[{"name":"Universidade Federal de Minas Gerais - UFMG, Belo Horizonte, Minas Gerais"}]},{"given":"Fernando Magno Q.","family":"Pereira","sequence":"additional","affiliation":[{"name":"Universidade Federal de Minas Gerais - UFMG, Belo Horizonte, Minas Gerais"}]}],"member":"320","published-online":{"date-parts":[[2017,9,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814285"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99594"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186736.1186737"},{"key":"e_1_3_2_1_6_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . 2004 . LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation . In CGO. IEEE , Washington, DC, USA , 75. Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In CGO. IEEE, Washington, DC, USA, 75."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363736"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.04.004"},{"volume-title":"Pointer Disambiguation via Strict Inequalities","author":"Maalej Maroua","key":"e_1_3_2_1_9_1","unstructured":"Maroua Maalej , Vitor Paisante , Pedro Ramos , Laure Gonnord , and Fernando Magno Quint\u00e3o Pereira . 2017. Pointer Disambiguation via Strict Inequalities . In CGO. IEEE , Piscataway, NJ, USA , 134--147. Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, and Fernando Magno Quint\u00e3o Pereira. 2017. Pointer Disambiguation via Strict Inequalities. In CGO. IEEE, Piscataway, NJ, USA, 134--147."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(71)90006-8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660205"},{"key":"e_1_3_2_1_12_1","volume-title":"Hanne Riis Nielson, and Chris Hankin","author":"Nielson Flemming","year":"2005","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Chris Hankin . 2005 . Principles of program analysis. Springer , New York, NY, USA. Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. 2005. Principles of program analysis. Springer, New York, NY, USA."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.008"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00315-7"},{"volume-title":"Tainted Flow Analysis on e-SSA-form Programs","author":"Rimsa Andrei","key":"e_1_3_2_1_15_1","unstructured":"Andrei Rimsa , Marcelo d' Amorim , and Fernando Magno Quint\u00e3o Pereira . 2011. Tainted Flow Analysis on e-SSA-form Programs . In CC\/ETAPS. Springer-Verlag , Berlin, Heidelberg , 124--143. Andrei Rimsa, Marcelo d'Amorim, and Fernando Magno Quint\u00e3o Pereira. 2011. Tainted Flow Analysis on e-SSA-form Programs. In CC\/ETAPS. Springer-Verlag, Berlin, Heidelberg, 124--143."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494996"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349325"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892225"},{"volume-title":"Parameterized construction of program representations for sparse dataflow analyses","author":"Tavares Andr\u00e9","key":"e_1_3_2_1_19_1","unstructured":"Andr\u00e9 Tavares , Benoit Boissinot , Fernando Pereira , and Fabrice Rastello . 2014. Parameterized construction of program representations for sparse dataflow analyses . In CC. Springer , Grenoble, France , 18--39. Andr\u00e9 Tavares, Benoit Boissinot, Fernando Pereira, and Fabrice Rastello. 2014. Parameterized construction of program representations for sparse dataflow analyses. In CC. Springer, Grenoble, France, 18--39."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.80177"}],"event":{"name":"SBLP 2017: 21st Brazilian Symposium on Programming Languages","sponsor":["SBC Brazilian Computer Society","CNPq Conselho Nacional de Desenvolvimento Cientifico e Tecn","CAPES Brazilian Higher Education Funding Council"],"location":"Fortaleza CE Brazil","acronym":"SBLP 2017"},"container-title":["Proceedings of the 21st Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3125374.3125379","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3125374.3125379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:23Z","timestamp":1750212683000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3125374.3125379"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,21]]},"references-count":20,"alternative-id":["10.1145\/3125374.3125379","10.1145\/3125374"],"URL":"https:\/\/doi.org\/10.1145\/3125374.3125379","relation":{},"subject":[],"published":{"date-parts":[[2017,9,21]]},"assertion":[{"value":"2017-09-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}