Federico Frassetto

According to our database, Federico Frassetto authored at least 3 papers in 2015.

Collaborative distances:

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

2015

A three-valued type system for true positives detection in Java-like languages.

Davide Ancona, Federico Frassetto

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 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