{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:56Z","timestamp":1750306556233,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T00:00:00Z","timestamp":1421107200000},"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":[[2015,1,13]]},"DOI":"10.1145\/2678015.2682535","type":"proceedings-article","created":{"date-parts":[[2014,12,19]],"date-time":"2014-12-19T13:51:05Z","timestamp":1418997065000},"page":"9-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Object-sensitive Type Analysis of PHP"],"prefix":"10.1145","author":[{"given":"Henk Erik","family":"Van der Hoek","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,1,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529709"},{"key":"e_1_3_2_1_2_1","volume-title":"June","author":"Borenstein N.","year":"1992","unstructured":"N. Borenstein and N. Freed . MIME (Multipurpose Internet Mail Extensions): Mechanisms for Specifying and Describing the Format of Internet Message Bodies. RFC 1341 (Proposed Standard) , June 1992 . Obsoleted by RFC 1521. N. Borenstein and N. Freed. MIME (Multipurpose Internet Mail Extensions): Mechanisms for Specifying and Describing the Format of Internet Message Bodies. RFC 1341 (Proposed Standard), June 1992. Obsoleted by RFC 1521."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/367766.368168"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108808"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37051-9_3"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462191"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160074.1159807"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"Nielson F.","year":"1999","unstructured":"F. Nielson , H. R. Nielson , and C. Hankin . Principles of Program Analysis . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 1999 . F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999."},{"key":"e_1_3_2_1_17_1","first-page":"189","volume-title":"Two approaches to interprocedural data flow analysis. Program flow analysis: theory and applications","author":"Pnueli M.","year":"1981","unstructured":"M. Pnueli . Two approaches to interprocedural data flow analysis. Program flow analysis: theory and applications , pages 189 -- 234 , 1981 . M. Pnueli. Two approaches to interprocedural data flow analysis. Program flow analysis: theory and applications, pages 189--234, 1981."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54007"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_21_1","volume-title":"Object sensitive type analysis for PHP","author":"van der Hoek H. E.","year":"2013","unstructured":"H. E. van der Hoek . Object sensitive type analysis for PHP , 2013 . http:\/\/www.cs.uu.nl\/people\/jur\/msctheses\/henkerikvanderhoek-msc.pdf. H. E. van der Hoek. Object sensitive type analysis for PHP, 2013. http:\/\/www.cs.uu.nl\/people\/jur\/msctheses\/henkerikvanderhoek-msc.pdf."},{"key":"e_1_3_2_1_22_1","unstructured":"J. Verlaguet J. Beales E. Letuchy G. Levi J. Marcey E. Meijer A. Menghrajani B. O'Sullivan D. Paroski J. Pearce J. Pobar and J. Van Dyke Watzman. The Hack language. http:\/\/hacklang.org consulted Oct. 2014.  J. Verlaguet J. Beales E. Letuchy G. Levi J. Marcey E. Meijer A. Menghrajani B. O'Sullivan D. Paroski J. Pearce J. Pobar and J. Van Dyke Watzman. The Hack language. http:\/\/hacklang.org consulted Oct. 2014."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384658"}],"event":{"name":"POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Mumbai India","acronym":"POPL '15"},"container-title":["Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2678015.2682535","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2678015.2682535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:52Z","timestamp":1750227172000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2678015.2682535"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,13]]},"references-count":20,"alternative-id":["10.1145\/2678015.2682535","10.1145\/2678015"],"URL":"https:\/\/doi.org\/10.1145\/2678015.2682535","relation":{},"subject":[],"published":{"date-parts":[[2015,1,13]]},"assertion":[{"value":"2015-01-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}