{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T05:04:39Z","timestamp":1773983079283,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"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":[[1996,5]]},"DOI":"10.1145\/231379.231433","type":"proceedings-article","created":{"date-parts":[[2003,11,14]],"date-time":"2003-11-14T11:24:15Z","timestamp":1068809055000},"page":"267-277","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":54,"title":["Data flow frequency analysis"],"prefix":"10.1145","author":[{"given":"G.","family":"Ramalingam","sequence":"first","affiliation":[{"name":"IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY"}]}],"member":"320","published-online":{"date-parts":[[1996,5]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1145\/360018.360025"},{"key":"e_1_3_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143180"},{"key":"e_1_3_2_1_5_2","volume-title":"Introduction to Algorithms","author":"Cormen T.H.","year":"1990","unstructured":"T.H. Cormen , C.E. Leiserson , and R.L. Rivest . Introduction to Algorithms . MIT Press , Cambridge, MA , 1990 .]] T.H. Cormen, C.E. Leiserson, and R.L. Rivest. Introduction to Algorithms. MIT Press, Cambridge, MA, 1990.]]"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207119"},{"key":"e_1_3_2_1_7_2","volume-title":"Graphs and Algorithms","author":"Gondran M.","year":"1984","unstructured":"M. Gondran and M. Minoux . Graphs and Algorithms . John Wiley and Sons , New York , 1984 .]] M. Gondran and M. Minoux. Graphs and Algorithms. John Wiley and Sons, New York, 1984.]]"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/321921.321938"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_1_11_2","first-page":"125","volume-title":"Proceedings of the Fourth International Conference on Compiler Construction,Lecture Notes in Computer Science","volume":"641","author":"Knoop J.","year":"1992","unstructured":"J. Knoop and B. Steffen . The interprocedural coincidence theorem. In U. Kastens and P. Pfahler, editors , Proceedings of the Fourth International Conference on Compiler Construction,Lecture Notes in Computer Science Vol. 641 , pages 125 - 140 . Springer Verlag , 1992 .]] J. Knoop and B. Steffen. The interprocedural coincidence theorem. In U. Kastens and P. Pfahler, editors, Proceedings of the Fourth International Conference on Compiler Construction,Lecture Notes in Computer Science Vol. 641, pages 125-140. Springer Verlag, 1992.]]"},{"key":"e_1_3_2_1_12_2","first-page":"85","volume-title":"Proceedings of the Sixth Usenix C+ + Technical Conference","author":"Hemant","year":"1994","unstructured":"Hemant D. Pande and Barbara G. Ryder. Static type determination for C++ . in Proceedings of the Sixth Usenix C+ + Technical Conference , pages 85 - 97 , April 1994 .]] Hemant D. Pande and Barbara G. Ryder. Static type determination for C++. in Proceedings of the Sixth Usenix C+ + Technical Conference, pages 85-97, April 1994.]]"},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207117"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143142"},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/800197.806061"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/27632.27649"},{"key":"e_1_3_2_1_20_2","first-page":"651","volume-title":"Proceedings of FASE '95: Colloquium on Formal Approaches in Software Engineering","author":"Sagiv M.","year":"1995","unstructured":"M. Sagiv , T. Reps , and S. Horwitz . Precise interprocedural datafiow analysis with applications to constant propagation , in Proceedings of FASE '95: Colloquium on Formal Approaches in Software Engineering , pages 651 - 665 , 1995 .]] M. Sagiv, T. Reps, and S. Horwitz. Precise interprocedural datafiow analysis with applications to constant propagation, in Proceedings of FASE '95: Colloquium on Formal Approaches in Software Engineering, pages 651-665, 1995.]]"},{"key":"e_1_3_2_1_21_2","first-page":"189","volume-title":"Program Flow Analysis : Theory and Applications","author":"Sharir M.","year":"1981","unstructured":"M. Sharir and A. Pnueli . Two approaches to interprocedural data flow analysis , in S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis : Theory and Applications , pages 189 - 233 . Prentice-Hall , Englewood Cliffs, NJ , 1981 .]] M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis, in S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis : Theory and Applications, pages 189-233. Prentice-Hall, Englewood Cliffs, NJ, 1981.]]"},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322273"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178251"},{"key":"e_1_3_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192725"}],"event":{"name":"PLDI96: Programming Language Design and Implementation","location":"Philadelphia Pennsylvania USA","acronym":"PLDI96","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/231379.231433","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/231379.231433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:20:53Z","timestamp":1750224053000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/231379.231433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":20,"alternative-id":["10.1145\/231379.231433","10.1145\/231379"],"URL":"https:\/\/doi.org\/10.1145\/231379.231433","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/249069.231433","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,5]]},"assertion":[{"value":"1996-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}