%0 Journal Article %A Ancona, Davide %A Lagorio, Giovanni %T Idealized coinductive type systems for imperative object-oriented programs %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2011 %P 3-33 %V 45 %N 1 %I EDP-Sciences %U http://archive.numdam.org/articles/10.1051/ita/2011009/ %R 10.1051/ita/2011009 %G en %F ITA_2011__45_1_3_0