Francesco Dagnino

Dottorando

Indirizzo Via Dodecaneso, 35 - 16146 Genova
Ufficio 309
E-mail
Telefono ufficio (+39) 010353 - 6709
Corso di dottorato 10613 - INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Ciclo di dottorato XXXIII
Tutor(s) Davide Ancona, Elena Zucca

Publications

  1. Francesco Dagnino, Viviana Bono, Elena Zucca and Mariangiola Dezani-Ciancaglini (2020). Soundness Conditions for Big-Step Semantics. In Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Lecture Notes in Computer Science 12073, pp 169 - 196, Springer

  2. Pietro Barbieri, Francesco Dagnino, Elena Zucca and Davide Ancona (2019). Corecursive Featherweight Java Revisited. In Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, CEUR Workshop Proceedings 2504, pp. 158 - 170, CEUR-WS.org

  3. Francesco Dagnino (2019). Coaxioms: flexible coinductive definitions by inference systems. In Logical Methods in Computer Science 15 (1), pp 26:1 - 26:48

  4. Francesco Dagnino (2018). Flexible coinduction for infinite behaviour. In Proceedings of the 19th Italian Conference on Theoretical Computer Science, ICTCS 2018, CEUR Workshop Proceedings 2243, pp. 17 - 23, CEUR-WS.org

  5. Davide Ancona, Francesco Dagnino and Luca Franceschini (2018). A Formalism for Specification of Java API Interfaces. In Proceedings of the 20th Workshop on Formal Techniques for Java-like Programs, ACM.

  6. Davide Ancona, Francesco Dagnino and Elena Zucca (2018). Modelling infinite behaviour by corules. In 32nd European Conference on Object-Oriented Programming, ECOOP 2018, LIPIcs 109,  pp 21:1 - 21:31, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

  7. Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Reasoning on divergent computations with coaxioms. In Proceedings of ACM on Programming Languages 1 (OOPSLA), pp 81:1 - 81:26, ACM

  8. Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Extending Coinductive Logic Programming with Co-Facts. In Proceedings of the 1st Workshop on Coalgebra, Horn Clause Logic Programming and Types, Electronic Proceedings in Theoretical Computer Science 258, pp 1 - 18

  9. Davide Ancona, Francesco Dagnino and Elena Zucca (2017). Generalizing Inference Systems by Coaxioms. In Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Lecture Notes in Computer Science 10201, pp 29 - 55, Springer

  10. Davide Ancona, Francesco Dagnino and Elena Zucca (2016). Towards a model of corecursion with default. In Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, pp 9 - 14, ACM

Teaching activity

Academic year 2017/2018

  • Foundations of Computer Science (BSc in Computer Science, University of Genova)
  • Advanced Data Management (MSc in Computer Science, University of Genova)

Sei qui: Home

Questo sito usa i cookie.