BARBIERI, PIETRO
BARBIERI, PIETRO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.019 secondi).
An inductive abstract semantics for coFJ
2020-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.
Checked corecursive streams: Expressivity and completeness
2023-01-01 Ancona, D.; Barbieri, P.; Zucca, E.
Checking equivalence of corecursive streams: An inductive procedure
2024-01-01 Ancona, Davide; Barbieri, Pietro; Zucca, Elena
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.
Enhancing Regular Corecursion
2023-04-21 Barbieri, Pietro
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. | |
Checked corecursive streams: Expressivity and completeness | 1-gen-2023 | Ancona, D.; Barbieri, P.; Zucca, E. | |
Checking equivalence of corecursive streams: An inductive procedure | 1-gen-2024 | Ancona, Davide; Barbieri, Pietro; Zucca, Elena | |
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. | |
Enhancing Regular Corecursion | 21-apr-2023 | Barbieri, Pietro | |
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 |