{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:17Z","timestamp":1775873597537,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,25]],"date-time":"2009-10-25T00:00:00Z","timestamp":1256428800000},"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,10,25]]},"DOI":"10.1145\/1640089.1640108","type":"proceedings-article","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:27:28Z","timestamp":1256635648000},"page":"243-262","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":273,"title":["Strictly declarative specification of sophisticated points-to analyses"],"prefix":"10.1145","author":[{"given":"Martin","family":"Bravenboer","sequence":"first","affiliation":[{"name":"University of Massachusetts, Amherst, Amherst, MA, USA"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, Amherst, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1273920.1273923","volume-title":"PPDP '07: Proc. of the 9th ACM SIGPLAN int. conf. on Principles and practice of declarative programming","author":"Benton W. C.","year":"2007","unstructured":"W. C. Benton and C. N. Fischer . Interactive, scalable, declarative program analysis: from prototype to implementation . In PPDP '07: Proc. of the 9th ACM SIGPLAN int. conf. on Principles and practice of declarative programming , pages 13 -- 24 , New York, NY, USA , 2007 . ACM. 10.1145\/1273920.1273923 W. C. Benton and C. N. Fischer. Interactive, scalable, declarative program analysis: from prototype to implementation. In PPDP '07: Proc. of the 9th ACM SIGPLAN int. conf. on Principles and practice of declarative programming, pages 13--24, New York, NY, USA, 2007. ACM. 10.1145\/1273920.1273923"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781144"},{"key":"e_1_3_2_1_3_1","volume-title":"ISSTA '09: Proceedings of the 2009 International Symposium on Software Testing and Analysis","author":"Bravenboer M.","year":"2009","unstructured":"M. Bravenboer and Y. Smaragdakis . Exception analysis and points-to analysis: Better together. In L. Dillon, editor , ISSTA '09: Proceedings of the 2009 International Symposium on Software Testing and Analysis , New York, NY, USA , July 2009 . To appear. 10.1145\/1572272.1572274 M. Bravenboer and Y. Smaragdakis. Exception analysis and points-to analysis: Better together. In L. Dillon, editor, ISSTA '09: Proceedings of the 2009 International Symposium on Software Testing and Analysis, New York, NY, USA, July 2009. To appear. 10.1145\/1572272.1572274"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/231379.231399","volume-title":"PLDI '96: Proc. of the ACM SIGPLAN 1996 conf. on Programming language design and implementation","author":"Dawson S.","year":"1996","unstructured":"S. Dawson , C. R. Ramakrishnan , and D. S. Warren . Practical program analysis using general purpose logic programming systems--a case study . In PLDI '96: Proc. of the ACM SIGPLAN 1996 conf. on Programming language design and implementation , pages 117 -- 126 , New York, NY, USA , 1996 . ACM. 10.1145\/231379.231399 S. Dawson, C. R. Ramakrishnan, and D. S. Warren. Practical program analysis using general purpose logic programming systems--a case study. In PLDI '96: Proc. of the ACM SIGPLAN 1996 conf. on Programming language design and implementation, pages 117--126, New York, NY, USA, 1996. ACM. 10.1145\/231379.231399"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/53990.54020","volume-title":"PLDI '88: Proc. of the ACM SIGPLAN 1988 conf. on Programming Language design and Implementation","author":"Debray S. K.","year":"1988","unstructured":"S. K. Debray . Unfold\/fold transformations and loop optimization of logic programs . In PLDI '88: Proc. of the ACM SIGPLAN 1988 conf. on Programming Language design and Implementation , pages 297 -- 307 , New York, NY, USA , 1988 . ACM. 10.1145\/53990.54020 S. K. Debray. Unfold\/fold transformations and loop optimization of logic programs. In PLDI '88: Proc. of the ACM SIGPLAN 1988 conf. on Programming Language design and Implementation, pages 297--307, New York, NY, USA, 1988. ACM. 10.1145\/53990.54020"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/1368088.1368142","volume-title":"ICSE '08: Proc. of the 30th int. conf. on Software engineering","author":"Eichberg M.","year":"2008","unstructured":"M. Eichberg , S. Kloppenburg , K. Klose , and M. Mezini . Defining and continuous checking of structural program dependencies . In ICSE '08: Proc. of the 30th int. conf. on Software engineering , pages 391 -- 400 , New York, NY, USA , 2008 . ACM 10.1145\/1368088.1368142 M. Eichberg, S. Kloppenburg, K. Klose, and M. Mezini. Defining and continuous checking of structural program dependencies. In ICSE '08: Proc. of the 30th int. conf. on Software engineering, pages 391--400, New York, NY, USA, 2008. ACM 10.1145\/1368088.1368142"},{"key":"e_1_3_2_1_7_1","unstructured":"S. J. Fink. T.J. Watson libraries for analysis (WALA). http:\/\/wala.sourceforge.net.  S. J. Fink. T.J. Watson libraries for analysis (WALA). http:\/\/wala.sourceforge.net."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/170035.170066","volume-title":"SIGMOD '93: Proc. of the 1993 ACM SIGMOD int. conf. on Management of data","author":"Gupta A.","year":"1993","unstructured":"A. Gupta , I. S. Mumick , and V. S. Subrahmanian . Maintaining views incrementally . In SIGMOD '93: Proc. of the 1993 ACM SIGMOD int. conf. on Management of data , pages 157 -- 166 , New York, NY, USA , 1993 . ACM. 10.1145\/170035.170066 A. Gupta, I. S. Mumick, and V. S. Subrahmanian. Maintaining views incrementally. In SIGMOD '93: Proc. of the 1993 ACM SIGMOD int. conf. on Management of data, pages 157--166, New York, NY, USA, 1993. ACM. 10.1145\/170035.170066"},{"key":"e_1_3_2_1_9_1","first-page":"2","volume-title":"Proc. European Conf. on Object-Oriented Programming (ECOOP)","author":"Hajiyev E.","year":"2006","unstructured":"E. Hajiyev , M. Verbaere , and O. de Moor . Codequest : Scalable source code queries with datalog . In Proc. European Conf. on Object-Oriented Programming (ECOOP) , pages 2 -- 27 . Spinger , 2006 . 10.1007\/11785477_2 E. Hajiyev, M. Verbaere, and O. de Moor. Codequest: Scalable source code queries with datalog. In Proc. European Conf. on Object-Oriented Programming (ECOOP), pages 2--27. Spinger, 2006. 10.1007\/11785477_2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/1250734.1250767","volume-title":"PLDI'07: Proc. ACM SIGPLAN conf. on Programming Language Design and Implementation","author":"Hardekopf B.","year":"2007","unstructured":"B. Hardekopf and C. Lin . The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code . In PLDI'07: Proc. ACM SIGPLAN conf. on Programming Language Design and Implementation , pages 290 -- 299 , New York, NY, USA , 2007 . ACM. 10.1145\/1250734.1250767 B. Hardekopf and C. Lin. The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. In PLDI'07: Proc. ACM SIGPLAN conf. on Programming Language Design and Implementation, pages 290--299, New York, NY, USA, 2007. ACM. 10.1145\/1250734.1250767"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/1480881.1480911","volume-title":"POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"Hardekopf B.","year":"2009","unstructured":"B. Hardekopf and C. Lin . Semi-sparse flow-sensitive pointer analysis . In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages , pages 226 -- 238 , New York, NY, USA , 2009 . ACM. 10.1145\/1480881.1480911 B. Hardekopf and C. Lin. Semi-sparse flow-sensitive pointer analysis. In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 226--238, New York, NY, USA, 2009. ACM. 10.1145\/1480881.1480911"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/378795.378802","volume-title":"PLDI '01: Proc. of the ACM SIGPLAN 2001 conf. on Programming language design and implementation","author":"Heintze N.","year":"2001","unstructured":"N. Heintze and O. Tardieu . Demand-driven pointer analysis . In PLDI '01: Proc. of the ACM SIGPLAN 2001 conf. on Programming language design and implementation , pages 24 -- 34 , New York, NY, USA , 2001 . ACM. 10.1145\/378795.378802 N. Heintze and O. Tardieu. Demand-driven pointer analysis. In PLDI '01: Proc. of the ACM SIGPLAN 2001 conf. on Programming language design and implementation, pages 24--34, New York, NY, USA, 2001. ACM. 10.1145\/378795.378802"},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"PODS '05: Proc. of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"Lam M. S.","year":"2005","unstructured":"M. S. Lam , J. Whaley , V. B. Livshits , M. C. Martin , D. Avots , M. Carbin , and C. Unkel . Context-sensitive program analysis as database queries . In PODS '05: Proc. of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , pages 1 -- 12 , New York, NY, USA , 2005 . ACM. 10.1145\/1065167.1065169 M. S. Lam, J. Whaley, V. B. Livshits, M. C. Martin, D. Avots, M. Carbin, and C. Unkel. Context-sensitive program analysis as database queries. In PODS '05: Proc. of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 1--12, New York, NY, USA, 2005. ACM. 10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250766"},{"key":"e_1_3_2_1_15_1","volume-title":"McGill University","author":"Lhotak O.","year":"2006","unstructured":"O. Lhotak . Program Analysis using Binary Decision Diagrams. PhD thesis , McGill University , Jan. 2006 . O. Lhotak. Program Analysis using Binary Decision Diagrams. PhD thesis, McGill University, Jan. 2006."},{"key":"e_1_3_2_1_16_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction, 12th Int. Conf.","author":"Lhotak O.","year":"2003","unstructured":"O. Lhotak and L. Hendren . Scaling Java points-to analysis using Spark . In G. Hedin, editor, Compiler Construction, 12th Int. Conf. , volume 2622 of LNCS , pages 153 -- 169 , Warsaw, Poland, April 2003 . Springer . O. Lhotak and L. Hendren. Scaling Java points-to analysis using Spark. In G. Hedin, editor, Compiler Construction, 12th Int. Conf., volume 2622 of LNCS, pages 153--169, Warsaw, Poland, April 2003. Springer."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/996841.996861","volume-title":"PLDI '04: Proc. of the ACM SIGPLAN 2004 conf. on Programming language design and implementation","author":"Lhotak O.","year":"2004","unstructured":"O. Lhotak and L. Hendren . Jedd: a bdd-based relational extension of java . In PLDI '04: Proc. of the ACM SIGPLAN 2004 conf. on Programming language design and implementation , pages 158 -- 169 , New York, NY, USA , 2004 . ACM. 10.1145\/996841.996861 O. Lhotak and L. Hendren. Jedd: a bdd-based relational extension of java. In PLDI '04: Proc. of the ACM SIGPLAN 2004 conf. on Programming language design and implementation, pages 158--169, New York, NY, USA, 2004. ACM. 10.1145\/996841.996861"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391984.1391987"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 3rd Asian Symposium on Programming Languages and Systems","volume":"3780","author":"Livshits B.","year":"2005","unstructured":"B. Livshits , J. Whaley , and M. S. Lam . Reflection analysis for Java. In K. Yi, editor , Proceedings of the 3rd Asian Symposium on Programming Languages and Systems , volume 3780 . Springer-Verlag , Nov. 2005 . 10.1007\/11575467_11 B. Livshits, J. Whaley, and M. S. Lam. Reflection analysis for Java. In K. Yi, editor, Proceedings of the 3rd Asian Symposium on Programming Languages and Systems, volume 3780. Springer-Verlag, Nov. 2005. 10.1007\/11575467_11"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1145\/1133981.1134018","volume-title":"Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'06)","author":"Naik M.","year":"2006","unstructured":"M. Naik , A. Aiken , and J. Whaley . Effective static race detection for java . In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'06) , pages 308 -- 319 , 2006 . 10.1145\/1133981.1134018 M. Naik, A. Aiken, and J. Whaley. Effective static race detection for java. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'06), pages 308--319, 2006. 10.1145\/1133981.1134018"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/996821.996836","volume-title":"PASTE '04: Proc. of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering","author":"Nystrom E. M.","year":"2004","unstructured":"E. M. Nystrom , H.-S. Kim , and W. mei W. Hwu . Importance of heap specialization in pointer analysis . In PASTE '04: Proc. of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering , pages 43 -- 48 , New York, NY, USA , 2004 . ACM. 10.1145\/996821.996836 E. M. Nystrom, H.-S. Kim, and W. mei W. Hwu. Importance of heap specialization in pointer analysis. In PASTE '04: Proc. of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 43--48, New York, NY, USA, 2004. ACM. 10.1145\/996821.996836"},{"key":"e_1_3_2_1_23_1","first-page":"163","volume-title":"Applications of Logic Databases","author":"Reps T.","year":"1994","unstructured":"T. Reps . Demand interprocedural program analysis using logic databases . In R. Ramakrishnan, editor, Applications of Logic Databases , pages 163 -- 196 . Kluwer Academic Publishers , 1994 . T. Reps. Demand interprocedural program analysis using logic databases. In R. Ramakrishnan, editor, Applications of Logic Databases, pages 163--196. Kluwer Academic Publishers, 1994."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-57877-3_26","volume-title":"CC '94: Proc. of the 5th Int. Conf. on Compiler Construction","author":"Reps T. W.","year":"1994","unstructured":"T. W. Reps . Solving demand versions of interprocedural analysis problems . In CC '94: Proc. of the 5th Int. Conf. on Compiler Construction , pages 389 -- 403 , London, UK , 1994 . Springer-Verlag. T. W. Reps. Solving demand versions of interprocedural analysis problems. In CC '94: Proc. of the 5th Int. Conf. on Compiler Construction, pages 389--403, London, UK, 1994. Springer-Verlag."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/1069774.1069785","volume-title":"PPDP '05: Proc. of the 7th ACM SIGPLAN int. conf. on Principles and practice of declarative programming","author":"Saha D.","year":"2005","unstructured":"D. Saha and C. R. Ramakrishnan . Incremental and demand-driven points-to analysis using logic programming . In PPDP '05: Proc. of the 7th ACM SIGPLAN int. conf. on Principles and practice of declarative programming , pages 117 -- 128 , New York, NY, USA , 2005 . ACM. 10.1145\/1069774.1069785 D. Saha and C. R. Ramakrishnan. Incremental and demand-driven points-to analysis using logic programming. In PPDP '05: Proc. of the 7th ACM SIGPLAN int. conf. on Principles and practice of declarative programming, pages 117--128, New York, NY, USA, 2005. ACM. 10.1145\/1069774.1069785"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/1133981.1134027","volume-title":"PLDI '06: Proc. of the 2006 ACM SIGPLAN conf. on Programming language design and implementation","author":"Sridharan M.","year":"2006","unstructured":"M. Sridharan and R. Bodik . Refinement-based context-sensitive points-to analysis for java . In PLDI '06: Proc. of the 2006 ACM SIGPLAN conf. on Programming language design and implementation , pages 387 -- 400 , New York, NY, USA , 2006 . ACM. 10.1145\/1133981.1134027 M. Sridharan and R. Bodik. Refinement-based context-sensitive points-to analysis for java. In PLDI '06: Proc. of the 2006 ACM SIGPLAN conf. on Programming language design and implementation, pages 387--400, New York, NY, USA, 2006. ACM. 10.1145\/1133981.1134027"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/1094811.1094817","volume-title":"OOPSLA '05: Proc. of the 20th annual ACM SIGPLAN conf. on Object oriented programming, systems, languages, and applications","author":"Sridharan M.","year":"2005","unstructured":"M. Sridharan , D. Gopan , L. Shan , and R. Bod\u01071k. Demand-driven points-to analysis for java . In OOPSLA '05: Proc. of the 20th annual ACM SIGPLAN conf. on Object oriented programming, systems, languages, and applications , pages 59 -- 76 , New York, NY, USA , 2005 . ACM. 10.1145\/1094811.1094817 M. Sridharan, D. Gopan, L. Shan, and R. Bod\u01071k. Demand-driven points-to analysis for java. In OOPSLA '05: Proc. of the 20th annual ACM SIGPLAN conf. on Object oriented programming, systems, languages, and applications, pages 59--76, New York, NY, USA, 2005. ACM. 10.1145\/1094811.1094817"},{"key":"e_1_3_2_1_28_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/11575467_8","volume-title":"Using datalog with binary decision diagrams for program analysis","author":"Whaley J.","year":"2005","unstructured":"J. Whaley , D. Avots , M. Carbin , and M. S. Lam . Using datalog with binary decision diagrams for program analysis . In K. Yi, editor, APLAS, volume 3780 of Lecture Notes in Computer Science , pages 97 -- 118 . Springer , 2005 . 10.1007\/11575467_8 J. Whaley, D. Avots, M. Carbin, and M. S. Lam. Using datalog with binary decision diagrams for program analysis. In K. Yi, editor, APLAS, volume 3780 of Lecture Notes in Computer Science, pages 97--118. Springer, 2005. 10.1007\/11575467_8"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/996841.996859","volume-title":"PLDI '04: Proc. of the ACM SIGPLAN 2004 conf. on Programming language design and implementation","author":"Whaley J.","year":"2004","unstructured":"J. Whaley and M. S. Lam . Cloning-based context-sensitive pointer alias analysis using binary decision diagrams . In PLDI '04: Proc. of the ACM SIGPLAN 2004 conf. on Programming language design and implementation , pages 131 -- 144 , New York, NY, USA , 2004 . ACM. 10.1145\/996841.996859 J. Whaley and M. S. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In PLDI '04: Proc. of the ACM SIGPLAN 2004 conf. on Programming language design and implementation, pages 131--144, New York, NY, USA, 2004. ACM. 10.1145\/996841.996859"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/1390630.1390658","volume-title":"ISSTA '08: Proc. of the 2008 int. symposium on Software testing and analysis","author":"Xu G.","year":"2008","unstructured":"G. Xu and A. Rountev . Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis . In ISSTA '08: Proc. of the 2008 int. symposium on Software testing and analysis , pages 225 -- 236 , New York, NY, USA , 2008 . ACM. 10.1145\/1390630.1390658 G. Xu and A. Rountev. Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. In ISSTA '08: Proc. of the 2008 int. symposium on Software testing and analysis, pages 225--236, New York, NY, USA, 2008. ACM. 10.1145\/1390630.1390658"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/1328438.1328464","volume-title":"POPL '08: Proc. of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"Zheng X.","year":"2008","unstructured":"X. Zheng and R. Rugina . Demand-driven alias analysis for c . In POPL '08: Proc. of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages , pages 197 -- 208 , New York, NY, USA , 2008 . ACM. 10.1145\/1328438.1328464 X. Zheng and R. Rugina. Demand-driven alias analysis for c. In POPL '08: Proc. of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 197--208, New York, NY, USA, 2008. ACM. 10.1145\/1328438.1328464"}],"event":{"name":"OOPSLA09: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Orlando Florida USA","acronym":"OOPSLA09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640089.1640108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1640089.1640108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:55Z","timestamp":1750234675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640089.1640108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,25]]},"references-count":31,"alternative-id":["10.1145\/1640089.1640108","10.1145\/1640089"],"URL":"https:\/\/doi.org\/10.1145\/1640089.1640108","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1639949.1640108","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,25]]},"assertion":[{"value":"2009-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}