Francesco Dagnino
Francesco Dagnino
Verified email at dibris.unige.it - Homepage
Title
Cited by
Cited by
Year
Generalizing inference systems by coaxioms
D Ancona, F Dagnino, E Zucca
26th European Symposium on Programming, ESOP 2017, 29-55, 2017
212017
Reasoning on divergent computations with coaxioms
D Ancona, F Dagnino, E Zucca
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
162017
Coaxioms: flexible coinductive definitions by inference systems
F Dagnino
Logical Methods in Computer Science 15 (1), 26:1-26:48, 2019
142019
Modeling Infinite Behaviour by Corules
D Ancona, F Dagnino, E Zucca
32nd European Conference on Object-Oriented Programming, ECOOP 2018 109, 21 …, 2018
122018
Extending Coinductive Logic Programming with Co-Facts
D Ancona, F Dagnino, E Zucca
Electronic Proceedings in Theoretical Computer Science 258 (CoALP-Ty 2016 …, 2017
92017
A big step from finite to infinite computations
D Ancona, F Dagnino, J Rot, E Zucca
Science of Computer Programming 197, 102492, 2020
42020
Foundations of regular coinduction
F Dagnino
arXiv preprint arXiv:2006.02887, 2020
42020
Flexible coinductive logic programming
F Dagnino, D Ancona, E Zucca
Theory and Practice of Logic Programming 20 (6), 818-833, 2020
32020
Sound regular corecursion in coFJ
D Ancona, P Barbieri, F Dagnino, E Zucca
arXiv preprint arXiv:2005.14085, 2020
32020
Soundness Conditions for Big-Step Semantics.
F Dagnino, V Bono, E Zucca, M Dezani-Ciancaglini
ESOP, 169-196, 2020
32020
Generalizing inference systems by coaxioms
F Dagnino
arXiv preprint arXiv:1712.01014, 2017
32017
Towards a model of corecursion with default
D Ancona, F Dagnino, E Zucca
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs …, 2016
32016
Flexible Coinduction
F Dagnino
PhD thesis, DIBRIS, University of Genova, 2021
22021
A formalism for specification of Java API interfaces
D Ancona, F Dagnino, L Franceschini
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 24-26, 2018
22018
Deconfined global types for asynchronous sessions
F Dagnino, P Giannini, M Dezani-Ciancaglini
International Conference on Coordination Languages and Models, 41-60, 2021
12021
Asynchronous global types in co-logic programming
R Bianchini, F Dagnino
International Conference on Coordination Languages and Models, 134-146, 2021
12021
Corecursive Featherweight Java Revisited.
P Barbieri, F Dagnino, E Zucca, D Ancona
ICTCS, 158-170, 2019
12019
Doctrines, modalities and comonads
F Dagnino, G Rosolini
arXiv preprint arXiv:2107.14031, 2021
2021
A meta-theory for big-step semantics
F Dagnino
arXiv preprint arXiv:2104.05558, 2021
2021
An inductive abstract semantics for coFJ
P Barbieri, F Dagnino, E Zucca
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20