Follow
Andrea Corradi
Andrea Corradi
Unknown affiliation
Verified email at unstable.it
Title
Cited by
Cited by
Year
Sound and complete subtyping between coinductive types for object-oriented languages
D Ancona, A Corradi
European Conference on Object-Oriented Programming, 282-307, 2014
222014
DeepFJig: modular composition of nested classes
A Corradi, M Servetto, E Zucca
Proceedings of the 9th International Conference on Principles and Practice …, 2011
192011
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
182011
Semantic subtyping for imperative object-oriented languages
D Ancona, A Corradi
ACM SIGPLAN Notices 51 (10), 568-587, 2016
142016
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
92015
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
52016
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
22010
Semantic subtyping between coinductive mutable record types with unions and intersections
D Ancona, A Corradi
Italian Conference on Theoretical Computer Science (ICTCS 2015), 2015
12015
Infinite derivations as failures.
A Corradi, F Frassetto
CILC, 19-24, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–9