| Sound and complete subtyping between coinductive types for object-oriented languages D Ancona, A Corradi European Conference on Object-Oriented Programming, 282-307, 2014 | 23 | 2014 |
| DeepFJig: modular composition of nested classes A Corradi, M Servetto, E Zucca Proceedings of the 9th International Conference on Principles and Practice …, 2011 | 19 | 2011 |
| Abstract compilation of object-oriented languages into coinductive CLP (X): can type inference meet verification? D Ancona, A Corradi, G Lagorio, F Damiani Formal Verification of Object-Oriented Software 6528, 31-45, 2011 | 18 | 2011 |
| Semantic subtyping for imperative object-oriented languages D Ancona, A Corradi ACM SIGPLAN Notices 51 (10), 568-587, 2016 | 15 | 2016 |
| Computational thinking for beginners: A successful experience using Prolog. S Beux, D Briola, A Corradi, G Delzanno, A Ferrando, F Frassetto, ... CILC, 31-45, 2015 | 12 | 2015 |
| A formal account of SSA in Java-like languages D Ancona, A Corradi Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs …, 2016 | 5 | 2016 |
| Abstract compilation of object-oriented languages into coinductive CLP (X): when type inference meets verification D Ancona, A Corradi, G Lagorio, F Damiani Formal Verification of Object-Oriented Software. Papers presented at the …, 2010 | 2 | 2010 |
| Semantic subtyping between coinductive mutable record types with unions and intersections D Ancona, A Corradi Italian Conference on Theoretical Computer Science (ICTCS 2015), 2015 | 1 | 2015 |
| Infinite derivations as failures. A Corradi, F Frassetto CILC, 19-24, 2015 | | 2015 |
