{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:10Z","timestamp":1750307710917,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T00:00:00Z","timestamp":1232323200000},"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":[[2009,1,19]]},"DOI":"10.1145\/1480945.1480965","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T14:41:38Z","timestamp":1232462498000},"page":"141-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Bidirectional data-flow analyses, type-systematically"],"prefix":"10.1145","author":[{"given":"Maria Jo\u00e3o","family":"Frade","sequence":"first","affiliation":[{"name":"Universidade do Minho, Braga, Portugal"}]},{"given":"Ando","family":"Saabas","sequence":"additional","affiliation":[{"name":"Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia"}]},{"given":"Tarmo","family":"Uustalu","sequence":"additional","affiliation":[{"name":"Institute of Cybernetics at Tallinn University of Technology, Tallinn, Estonia"}]}],"member":"320","published-online":{"date-parts":[[2009,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.026"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_20"},{"key":"e_1_3_2_1_3_1","first-page":"368","volume-title":"Proc. of 17th Europ. Symp. on Programming, ESOP 2008, v. 4960 of Lect. Notes in Comput. Sci.","author":"Barthe G.","year":"2008","unstructured":"G. Barthe , C. Kunz . Certificate translation in abstract interpretation. In S. Drossopoulou, ed ., Proc. of 17th Europ. Symp. on Programming, ESOP 2008, v. 4960 of Lect. Notes in Comput. Sci. , pp. 368 -- 382 , Springer , 2008 . G. Barthe, C. Kunz. Certificate translation in abstract interpretation. In S. Drossopoulou, ed., Proc. of 17th Europ. Symp. on Programming, ESOP 2008, v. 4960 of Lect. Notes in Comput. Sci., pp. 368--382, Springer, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964003"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/560699"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186043"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/606666.606676"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1477-8424(03)00012-5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.27"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/800168.811542"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/322169.322181"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040335"},{"key":"e_1_3_2_1_14_1","first-page":"223","volume-title":"T. \u00c6","author":"Nielson H. R.","year":"2002","unstructured":"H. R. Nielson , F. Nielson . Flow logic: a multi-paradigmatic approach to static analysis . In T. \u00c6 . Mogensen, D. A. Schmidt, I. H. Sudborough, eds., The Essence of Computation, Complexity, Analysis, Transformation , v. 2566 of Lect. Notes in Comput. Sci., pp. 223 -- 244 , Springer-Verlag , 2002 . H. R. Nielson, F. Nielson. Flow logic: a multi-paradigmatic approach to static analysis. In T. \u00c6. Mogensen, D. A. Schmidt, I. H. Sudborough, eds., The Essence of Computation, Complexity, Analysis, Transformation, v. 2566 of Lect. Notes in Comput. Sci., pp. 223--244, Springer-Verlag, 2002."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.05.007"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328408.1328422"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.063"},{"key":"e_1_3_2_1_20_1","volume-title":"Reducing loads and stores in stack architectures, manuscript","author":"Van Drunen T.","year":"2000","unstructured":"T. Van Drunen , A. L. Hosking , J. Palsberg . Reducing loads and stores in stack architectures, manuscript , 2000 . T. Van Drunen, A. L. Hosking, J. Palsberg. Reducing loads and stores in stack architectures, manuscript, 2000."}],"event":{"name":"PEPM '09: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"PEPM '09"},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1480945.1480965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:09Z","timestamp":1750253409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1480945.1480965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,19]]},"references-count":18,"alternative-id":["10.1145\/1480945.1480965","10.1145\/1480945"],"URL":"https:\/\/doi.org\/10.1145\/1480945.1480965","relation":{},"subject":[],"published":{"date-parts":[[2009,1,19]]},"assertion":[{"value":"2009-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}