{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:36:56Z","timestamp":1725673016378},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/saner.2015.7081816","type":"proceedings-article","created":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T21:57:15Z","timestamp":1428962235000},"page":"63-72","source":"Crossref","is-referenced-by-count":9,"title":["Are PHP applications ready for Hack?"],"prefix":"10.1109","author":[{"given":"Laleh","family":"Eshkevari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabien","family":"Dos Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James R.","family":"Cordy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliano","family":"Antoniol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985828"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(199903\/04)11:2<117::AID-SMR185>3.0.CO;2-P"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/WSE.2002.1134088"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2168696.2047861"},{"journal-title":"Why Programs Fail A Guide to Systematic Debugging","year":"2005","author":"zeller","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449802"},{"key":"ref11","article-title":"Flow-sensitive type analysis for c++","author":"carini","year":"1995","journal-title":"RESEARCH REPORT RC 20267 IBM T J WATSON RESEARCH CENTE R Tech Rep"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.04.002"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2002.995811"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WSE.2003.1234004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2003.1245364"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2597008.2597153"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70748"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869462"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/581380.581383"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919078"},{"journal-title":"Watir [Online] Available","year":"0","key":"ref4"},{"journal-title":"Types and Programming Languages","year":"2002","author":"pierce","key":"ref27"},{"journal-title":"Php manual [Online] Available","year":"0","key":"ref3"},{"journal-title":"Tiob software [Online] Available","year":"2014","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/93.917970"},{"journal-title":"Stack exchange [Online] Available","year":"2014","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2010.21"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WSE.2009.5631226"},{"journal-title":"Hhvm hack [Online] Available","year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2004.1311054"},{"journal-title":"Hack [Online] Available","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-642-03237-0_17","article-title":"Type analysis for javascript","author":"jensen","year":"2009","journal-title":"Proceedings of the 16th International Symposium on Static Analysis"},{"key":"ref22","article-title":"A static type inference for python","author":"maia","year":"2012","journal-title":"Proc of DYLA"},{"key":"ref21","article-title":"The Soot framework for Java program analysis: a retrospective","author":"lam","year":"2011","journal-title":"Cetus Users and Compiler Infrastructure Workshop"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.26"},{"key":"ref23","article-title":"Static typing where possible, dynamic typing when needed","author":"meijer","year":"2005","journal-title":"Workshop on Revival of Dynamic Languages"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.53"},{"journal-title":"Real World Haskell","year":"2008","author":"o'sullivan","key":"ref25"}],"event":{"name":"2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER)","start":{"date-parts":[[2015,3,2]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2015,3,6]]}},"container-title":["2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7066219\/7081802\/07081816.pdf?arnumber=7081816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T09:20:01Z","timestamp":1498209601000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7081816\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/saner.2015.7081816","relation":{},"subject":[],"published":{"date-parts":[[2015,3]]}}}