E-LIB Suche - Ergebnisse für: Dagnino, Francesco

1

Fair termination of multiparty sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming. 139 (2024) - p. 100964 , 2024

Link: https://doi.org/10.1016/..

2

A Java-like calculus with heterogeneous coeffects:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Theoretical Computer Science. 971 (2023) - p. 114063 , 2023

Link: https://doi.org/10.1016/..

3

Robustness in Metric Spaces over Continuous Quantales and t..:

, In: Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science,

Dagnino, Francesco ; Farjudian, Amin ; Moggi, Eugenio - p. 313-331 , 2023

Link: https://doi.org/10.1007/..

4

Resource-Aware Soundness for Big-Step Semantics:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1281-1309 , 2023

Link: https://doi.org/10.1145/..

5

Deconfined Global Types for Asynchronous Sessions:

Dagnino, Francesco ; Giannini, Paola ; Dezani-Ciancaglini, Mariangiola
Logical Methods in Computer Science. 19, Issue 1 (2023) - p. , 2023

Link: https://doi.org/10.46298..

6

Asynchronous global types in co-logic programming:

Bianchini, Riccardo ; Dagnino, Francesco
Science of Computer Programming. 225 (2023) - p. 102895 , 2023

Link: https://doi.org/10.1016/..

7

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 870-898 , 2022

Link: https://doi.org/10.1145/..

8

Logical Foundations of Quantitative Equality:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Dagnino, Francesco ; Pasquali, Fabio - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

9

A Meta-theory for Big-step Semantics:

Dagnino, Francesco
ACM Transactions on Computational Logic. 23 (2022) 3 - p. 1-50 , 2022

Link: https://doi.org/10.1145/..

10

Asynchronous Global Types in Co-logic Programming:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bianchini, Riccardo ; Dagnino, Francesco - p. 134-146 , 2021

Link: https://doi.org/10.1007/..

11

Deconfined Global Types for Asynchronous Sessions:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Dagnino, Francesco ; Giannini, Paola ; Dezani-Ciancaglini, Mariangiola - p. 41-60 , 2021

Link: https://doi.org/10.1007/..

12

Foundations of regular coinduction:

Dagnino, Francesco
Logical Methods in Computer Science. 17, Issue 4 (2021) - p. , 2021

Link: https://doi.org/10.46298..

13

Doctrines, modalities and comonads:

Dagnino, Francesco ; Rosolini, Giuseppe
Mathematical Structures in Computer Science. 31 (2021) 7 - p. 769-798 , 2021

Link: https://doi.org/10.1017/..

14

A big step from finite to infinite computations:

Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan.
Science of Computer Programming. 197 (2020) - p. 102492 , 2020

Link: https://doi.org/10.1016/..

15

Soundness Conditions for Big-Step Semantics:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Dagnino, Francesco ; Bono, Viviana ; Zucca, Elena. - p. 169-196 , 2020

Link: https://doi.org/10.1007/..