{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:03:48Z","timestamp":1725455028664},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642334740"},{"type":"electronic","value":"9783642334757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33475-7_2","type":"book-chapter","created":{"date-parts":[[2012,9,8]],"date-time":"2012-09-08T06:43:09Z","timestamp":1347086589000},"page":"10-27","source":"Crossref","is-referenced-by-count":5,"title":["Static Single Information Form for Abstract Compilation"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Lagorio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"An, J., Chaudhuri, A., Foster, J.S., Hicks, M.: Dynamic inference of static types for Ruby. In: POPL, pp. 459\u2013472 (2011)","DOI":"10.1145\/1925844.1926437"},{"key":"2_CR2","unstructured":"Ananian, C.S.: The static single information form. Technical Report MITLCS-TR-801. MIT (1999)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Ancona, D., Ancona, M., Cuni, A., Matsakis, N.: RPython: a Step Towards Reconciling Dynamically and Statically Typed OO Languages. In: DLS 2007, pp. 53\u201364. ACM (2007)","DOI":"10.1145\/1297081.1297091"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-18070-5_3","volume-title":"Formal Verification of Object-Oriented Software","author":"D. Ancona","year":"2011","unstructured":"Ancona, D., Corradi, A., Lagorio, G., Damiani, F.: Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? In: Beckert, B., March\u00e9, C. (eds.) FoVeOOS 2010. LNCS, vol.\u00a06528, pp. 31\u201345. Springer, Heidelberg (2011)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-03013-0_2","volume-title":"ECOOP 2009 \u2013 Object-Oriented Programming","author":"D. Ancona","year":"2009","unstructured":"Ancona, D., Lagorio, G.: Coinductive Type Systems for Object-Oriented Languages. In: Drossopoulou, S. (ed.) ECOOP 2009. LNCS, vol.\u00a05653, pp. 2\u201326. Springer, Heidelberg (2009)"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1051\/ita\/2011009","volume":"45","author":"D. Ancona","year":"2011","unstructured":"Ancona, D., Lagorio, G.: Idealized coinductive type systems for imperative object-oriented programs. RAIRO - Theoretical Informatics and Applications\u00a045(1), 3\u201333 (2011)","journal-title":"RAIRO - Theoretical Informatics and Applications"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/11531142_19","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C. Anderson","year":"2005","unstructured":"Anderson, C., Giannini, P., Drossopoulou, S.: Towards Type Inference for JavaScript. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 428\u2013452. Springer, Heidelberg (2005)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. TOPLAS\u00a013, 451\u2013490 (1991)","journal-title":"TOPLAS"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1145\/1065887.1065890","volume":"27","author":"D. Das","year":"2005","unstructured":"Das, D., Ramakrishna, U.: A practical and fast iterative algorithm for phi-function computation using DJ graphs. TOPLAS\u00a027(3), 426\u2013440 (2005)","journal-title":"TOPLAS"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Alpern, B., et al.: The jalape\u00f1o virtual machine. IBM Systems Journal\u00a039 (2000)","DOI":"10.1147\/sj.391.0211"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: PLDI, pp. 1\u201312 (2002)","DOI":"10.1145\/543552.512531"},{"key":"2_CR12","unstructured":"Griesemer, R., Mitrovic, S.: A compiler for the java hotspottm virtual machine. In: The School of Niklaus Wirth, \u201dThe Art of Simplicity\u201d, pp. 133\u2013152 (2000)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-14107-2_10","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P. Heidegger","year":"2010","unstructured":"Heidegger, P., Thiemann, P.: Recency Types for Analyzing Scripting Languages. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 200\u2013224. Springer, Heidelberg (2010)"},{"key":"2_CR14","unstructured":"Holloway, G.: The machine-SUIF static single assignment library. Technical report, Harvard School of Engineering and Applied Sciences (2001)"},{"key":"2_CR15","unstructured":"Novillo, D.: Tree SSA - a new optimization infrastructure for GCC. In: GCC Developers\u2019 Summit, pp. 181\u2013193 (2003)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-540-73420-8_42","volume-title":"Automata, Languages and Programming","author":"L. Simon","year":"2007","unstructured":"Simon, L., Bansal, A., Mallya, A., Gupta, G.: Co-Logic Programming: Extending Logic Programming with Coinduction. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 472\u2013483. Springer, Heidelberg (2007)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/11799573_25","volume-title":"Logic Programming","author":"L. Simon","year":"2006","unstructured":"Simon, L., Mallya, A., Bansal, A., Gupta, G.: Coinductive Logic Programming. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 330\u2013345. Springer, Heidelberg (2006)"},{"key":"2_CR18","unstructured":"Singer, J.: Static single information form in machine SUIF. Technical report, University of Cambridge Computer Laboratory, UK (2004)"},{"key":"2_CR19","unstructured":"Singer, J.: Static Program Analysis based on Virtual Register Renaming. PhD thesis, Christs College (2005)"},{"key":"2_CR20","unstructured":"Tavares, A., Pereira, F.M., Bigonha, M., Bigonha, R.: Efficient SSI conversion. In: SBLP 2010 (2010)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Winther, J.: Guarded type promotion (eliminating redundant casts in Java). In: FTfJP 2011. ACM (2011)","DOI":"10.1145\/2076674.2076680"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33475-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T08:43:20Z","timestamp":1557218600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33475-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642334740","9783642334757"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33475-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}