@article{ITA_2011__45_1_3_0, author = {Ancona, Davide and Lagorio, Giovanni}, title = {Idealized coinductive type systems for imperative object-oriented programs}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {3--33}, publisher = {EDP-Sciences}, volume = {45}, number = {1}, year = {2011}, doi = {10.1051/ita/2011009}, mrnumber = {2776852}, zbl = {1220.68047}, language = {en}, url = {http://archive.numdam.org/articles/10.1051/ita/2011009/} }