Andrea Corradi

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 5

Top Topics

Computational Thinking

Social Network Analysis And Mining

Object Oriented Languages

Top Venues

Publications

Andrea Corradi, Cassie McMillan, Nick Dietrich
A hostile reputation: A social network approach to interstate hostility. Soc. Networks 71 (2022)
Davide Ancona, Andrea Corradi
Semantic subtyping for imperative object-oriented languages. OOPSLA (2016)
Davide Ancona, Andrea Corradi
A formal account of SSA in Java-like languages. FTfJP@ECOOP (2016)
Andrea Corradi, Federico Frassetto
Infinite derivations as failures. CILC (2015)
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
Computational thinking for beginners: A successful experience using Prolog. CILC (2015)
Davide Ancona, Andrea Corradi
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. ECOOP (2014)
Andrea Corradi, Marco Servetto, Elena Zucca
DeepFJig - Modular composition of nested classes. J. Object Technol. 11 (2) (2012)
Andrea Corradi, Marco Servetto, Elena Zucca
DeepFJig: modular composition of nested classes. PPPJ (2011)
Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS (2010)