Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dagnino, Francesco
9  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

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/..
 
?
2

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..
 
?
3

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/..
 
?
4

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/..
 
?
5

An inductive abstract semantics for coFJ:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs,
Barbieri, Pietro ; Dagnino, Francesco ; Zucca, Elena - p. 4-9 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

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/..
 
?
7

A framework for big-step semantics:

, In: Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming,
Dagnino, Francesco - p. 1-3 , 2019
Link: https://dl.acm.org/doi/1..
 
?
8

A formalism for specification of Java API interfaces:

, In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops,
Ancona, Davide ; Dagnino, Francesco ; Franceschini, Luca - p. 24-26 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Towards a model of corecursion with default:

, In: Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs,
Ancona, Davide ; Dagnino, Francesco ; Zucca, Elena - p. 1-6 , 2016
Link: https://dl.acm.org/doi/1..
 
1-9