J. An, A. Chaudhuri, J. S. Foster, and M. Hicks, Dynamic inference of static types for Ruby, POPL, pp.459-472, 2011.

C. S. Ananian, The static single information form, 1999.

D. Ancona, M. Ancona, N. Cuni, and . Matsakis, RPython, Proceedings of the 2007 symposium on Dynamic languages , DLS '07, pp.53-64, 2007.
DOI : 10.1145/1297081.1297091

D. Ancona, A. Corradi, G. Lagorio, and F. Damiani, Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification? In FoVeOOS 2010, Revised Selected Papers, LNCS, vol.6528, 2011.

D. Ancona and G. Lagorio, Coinductive Type Systems for Object-Oriented Languages, LNCS, vol.5653, pp.2-26, 2009.
DOI : 10.1007/3-540-45337-7_6

D. Ancona and G. Lagorio, Idealized coinductive type systems for imperative object-oriented programs. RAIRO -Theoretical Informatics and Applications, pp.3-33, 2011.
DOI : 10.1051/ita/2011009

C. Anderson, P. Giannini, and S. Drossopoulou, Towards Type Inference for JavaScript, ECOOP 2005 -Object-Oriented Programming, pp.428-452, 2005.
DOI : 10.1007/11531142_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.2285

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6361

D. Das and U. Ramakrishna, A practical and fast iterative algorithm for ?-function computation using DJ graphs, ACM Transactions on Programming Languages and Systems, vol.27, issue.3, pp.426-440, 2005.
DOI : 10.1145/1065887.1065890

B. Alpern, The Jalape?o virtual machine, IBM Systems Journal, vol.39, issue.1, 2000.
DOI : 10.1147/sj.391.0211

J. S. Foster, T. Terauchi, and A. Aiken, Flow-sensitive type qualifiers, PLDI, pp.1-12, 2002.
DOI : 10.1145/512530.512531
URL : http://HTTP.CS.Berkeley.EDU/~jfoster/papers/pldi02-flow.ps.gz

R. Griesemer and S. Mitrovic, A compiler for the java hotspottm virtual machine The Art of Simplicity, The School of Niklaus Wirth, pp.133-152, 2000.

P. Heidegger and P. Thiemann, Recency Types for Analyzing Scripting Languages, ECOOP 2010 -Object-Oriented Programming, pp.200-224, 2010.
DOI : 10.1007/978-3-642-14107-2_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.970

G. Holloway, The machine-SUIF static single assignment library, Harvard School of Engineering and Applied Sciences, 2001.

D. Novillo, Tree SSA -a new optimization infrastructure for GCC, GCC Developers' Summit, pp.181-193, 2003.

L. Simon, A. Bansal, A. Mallya, and G. Gupta, Co-Logic Programming: Extending Logic Programming with Coinduction, pp.472-483, 2007.
DOI : 10.1007/978-3-540-73420-8_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.9618

L. Simon, A. Mallya, A. Bansal, and G. Gupta, Coinductive Logic Programming, pp.330-345, 2006.
DOI : 10.1007/11799573_25

J. Singer, Static single information form in machine SUIF, 2004.

J. Singer, Static Program Analysis based on Virtual Register Renaming, 2005.

A. Tavares, F. M. Pereira, M. Bigonha, and R. Bigonha, Efficient SSI conversion, 2010.

J. Winther, Guarded type promotion (eliminating redundant casts in Java) In FTfJP class(object) ? true. subclass(X , X ) ? class(X ), subtype(T2 , T ). subtype(T , T1 ? ) ? subtype, 2011.