BARBIERI, PIETRO
BARBIERI, PIETRO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.002 secondi).
An inductive abstract semantics for coFJ
2020-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.
Corecursive featherweight Java revisited
2019-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Enhanced Regular Corecursion for Data Streams
2021-01-01 Ancona, Davide; Barbieri, Pietro; Zucca, Elena
Enhancing Expressivity of Checked Corecursive Streams
2022-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Equality of Corecursive Streams Defined by Finitary Equational Systems
2022-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Sound Regular Corecursion in coFJ
2020-01-01 Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An inductive abstract semantics for coFJ | 1-gen-2020 | Barbieri, P.; Dagnino, F.; Zucca, E. | |
Corecursive featherweight Java revisited | 1-gen-2019 | Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D. | |
Enhanced Regular Corecursion for Data Streams | 1-gen-2021 | Ancona, Davide; Barbieri, Pietro; Zucca, Elena | |
Enhancing Expressivity of Checked Corecursive Streams | 1-gen-2022 | Ancona, D.; Barbieri, P.; Zucca, E. | |
Equality of Corecursive Streams Defined by Finitary Equational Systems | 1-gen-2022 | Ancona, D.; Barbieri, P.; Zucca, E. | |
Sound Regular Corecursion in coFJ | 1-gen-2020 | Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena |