{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:24:49Z","timestamp":1762917889050},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2018,3,8]],"date-time":"2018-03-08T00:00:00Z","timestamp":1520467200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1007\/s12652-018-0731-5","type":"journal-article","created":{"date-parts":[[2018,3,8]],"date-time":"2018-03-08T08:23:46Z","timestamp":1520497426000},"page":"2537-2544","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Semantic analysis of ambiguous types in dynamic languages"],"prefix":"10.1007","volume":"10","author":[{"given":"Jakub","family":"Misek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filip","family":"Zavoral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,8]]},"reference":[{"key":"731_CR1","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/236338.236371","volume":"31.10","author":"DF Bacon","year":"1996","unstructured":"Bacon DF, Sweeney PF (1996) Fast static analysis of C + + virtual function calls. ACM Sigplan Not 31.10:324\u2013341","journal-title":"ACM Sigplan Not"},{"key":"731_CR2","unstructured":"Benda J, Matousek T, Prosek L (2006) Phalanger: Compiling and running PHP applications on the Microsoft .NET platform. .NET Technologies 2006, UNION Agency \u2013 Science Press, Plzen, Czech Republic"},{"issue":"3","key":"731_CR3","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s12652-016-0361-8","volume":"7","author":"GW Cassales","year":"2016","unstructured":"Cassales GW, Char\u00e3o, AS, Kirsch-Pinheiro M, Souveyet C, Steffenel LA (2016) Improving the performance of Apache Hadoop on pervasive environments through context-aware scheduling. J Ambient Intell Humanized Comput 7(3):333\u2013345","journal-title":"J Ambient Intell Humanized Comput"},{"key":"731_CR4","volume-title":"A uniform approach for compile-time and run-time specialization. Partial evaluation","author":"C Consel","year":"1996","unstructured":"Consel C, Hornof L, No\u00ebl F, Noy\u00e9 J, Volanschi EN (1996) A uniform approach for compile-time and run-time specialization. Partial evaluation. Springer, Berlin Heidelberg pp\u00a054\u201372 (LNCS 1110)"},{"key":"731_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-017-0659-1","author":"A Darwish","year":"2017","unstructured":"Darwish A, Hassanien AE, Elhoseny M, Sangaiah AK, Muhammad K (2017) The impact of the hybrid platform of internet of things and cloud computing on healthcare systems: opportunities, challenges, and open problems. J Ambient Intell Humaniz Comput. \n                    https:\/\/doi.org\/10.1007\/s12652-017-0659-1","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"731_CR6","unstructured":"Del Sole A (2016) Roslyn Succintly, Syncfusion 2016"},{"key":"731_CR7","doi-asserted-by":"crossref","unstructured":"Detlefs D, Agesen O (1999) Inlining of virtual methods. In: ECOOP 1999 pp\u00a0258\u2013278","DOI":"10.1007\/3-540-48743-3_12"},{"key":"731_CR8","unstructured":"Hauzar D, Kofron J (2015) Framework for static analysis of PHP applications. LIPIcs-Leibniz International Proceedings in Informatics. Vol 37"},{"key":"731_CR9","doi-asserted-by":"crossref","unstructured":"Ishizaki K, Kawahito M, Yasue T, Takeuchi M, Ogasawara T, Suganuma T, Onodera T, Komatsu H, Nakatani T (1999) Design, implementation, and evaluation of optimizations in a just-in-time compiler. In: Proceedings of the ACM 1999 conference on Java Grande. ACM","DOI":"10.1145\/304065.304111"},{"key":"731_CR10","first-page":"238","volume-title":"Type analysis for JavaScript. International Static Analysis Symposium","author":"SH Jensen","year":"2009","unstructured":"Jensen SH, Moller A, Thiemann P (2009) Type analysis for JavaScript. International Static Analysis Symposium. Springer, Berlin Heidelberg, pp\u00a0238\u2013255"},{"key":"731_CR11","volume-title":"Partial evaluation and automatic program generation","author":"ND Jones","year":"1993","unstructured":"Jones ND, Gomard CK, Sestoft P (1993) Partial evaluation and automatic program generation. Prentice Hall, Upper Saddle River"},{"key":"731_CR12","unstructured":"Misek J, Fistein B (2017) \n                    http:\/\/www.peachpie.io\n                    \n                  , \n                    https:\/\/github.com\/iolevel\/peachpie\n                    \n                  . Accessed 15 Sept 2017"},{"key":"731_CR13","doi-asserted-by":"crossref","unstructured":"Misek J, Fistein B, Zavoral F (2016) Inferring common language infrastructure metadata for an ambiguous dynamic language type. IEEE Conference on Open Systems, Langkawi","DOI":"10.1109\/ICOS.2016.7881998"},{"key":"731_CR14","unstructured":"Ng K, Warren M, Golde P, Hejlberg A (2011) The Roslyn Project, exposing the C# and VB compiler\u2019s code analysis. Microsoft, 2011"},{"key":"731_CR15","volume-title":"Principles of program analysis","author":"F Nielson","year":"2015","unstructured":"Nielson F, Nielson HR, Hankin C (2015) Principles of program analysis. Springer"},{"key":"731_CR16","unstructured":"PHP (2017) \n                    http:\/\/php.net\/\n                    \n                   Accessed 15 Sept 2017"},{"key":"731_CR17","unstructured":"Stogov D (2014) PHPNG a New Core for PHP7, ZendConf"},{"key":"731_CR18","doi-asserted-by":"crossref","unstructured":"Viega J, Bloch JT, Kohno T, McGraw G (2000) ITS4: A static vulnerability scanner for C and C++ code. Computer Security Applications, ACSAC\u201900. In: 16th Annual Conference. IEEE pp\u00a0257\u2013267","DOI":"10.1109\/ACSAC.2000.898880"},{"key":"731_CR19","unstructured":"WordPress (2017) \n                    http:\/\/wordpress.org\/\n                    \n                   Accessed 15 Sept 2017"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-018-0731-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-018-0731-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-018-0731-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T23:56:42Z","timestamp":1559519802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-018-0731-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,8]]},"references-count":19,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,7]]}},"alternative-id":["731"],"URL":"https:\/\/doi.org\/10.1007\/s12652-018-0731-5","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"value":"1868-5137","type":"print"},{"value":"1868-5145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,8]]},"assertion":[{"value":"5 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 December 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 March 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}