Andrea Corradi

According to our database, Andrea Corradi authored at least 8 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A hostile reputation: A social network approach to interstate hostility.

Andrea Corradi, Cassie McMillan, Nick Dietrich

Soc. Networks, 2022

2016

Semantic subtyping for imperative object-oriented languages.

Davide Ancona, Andrea Corradi

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

A formal account of SSA in Java-like languages.

Davide Ancona, Andrea Corradi

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015

Infinite derivations as failures.

Andrea Corradi, Federico Frassetto

Proceedings of the 30th Italian Conference on Computational Logic, 2015

Computational thinking for beginners: A successful experience using Prolog.

Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages.

Davide Ancona, Andrea Corradi

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2012

DeepFJig - Modular composition of nested classes.

Andrea Corradi, Marco Servetto, Elena Zucca

J. Object Technol., 2012

2010

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani

Proceedings of the Formal Verification of Object-Oriented Software, 2010