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).
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