Francesco Dagnino
Francesco Dagnino
Email verificata su dibris.unige.it - Home page
Titolo
Citata da
Citata da
Anno
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
Foundations of regular coinduction
F Dagnino
Logical Methods in Computer Science 17, 2021
42021
A big step from finite to infinite computations
D Ancona, F Dagnino, J Rot, E Zucca
Science of Computer Programming 197, 102492, 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
Doctrines, modalities and comonads
F Dagnino, G Rosolini
Mathematical Structures in Computer Science, 1-30, 2021
12021
Corecursive Featherweight Java Revisited.
P Barbieri, F Dagnino, E Zucca, D Ancona
ICTCS, 158-170, 2019
12019
Logical Foundations of Quantitative Equality (long version)
F Dagnino, F Pasquali
arXiv preprint arXiv:2110.05388, 2021
2021
A meta-theory for big-step semantics
F Dagnino
arXiv preprint arXiv:2104.05558, 2021
2021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20