Pietro Barbieri

12 papers A 1Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Checking equivalence of corecursive streams: An inductive procedure.
Theor. Comput. Sci.
Davide Ancona, Pietro Barbieri, Elena Zucca
2023 J jnl
Checked corecursive streams: Expressivity and completeness.
Theor. Comput. Sci.
Davide Ancona, Pietro Barbieri, Elena Zucca
2023 — —
Enhancing Regular Corecursion.
Pietro Barbieri
2022 Misc conf
Enhancing Expressivity of Checked Corecursive Streams.
FLOPS
Davide Ancona, Pietro Barbieri, Elena Zucca
2022 J jnl
Enhancing expressivity of checked corecursive streams (extended version).
CoRR
Davide Ancona, Pietro Barbieri, Elena Zucca
2022 — conf
Equality of Corecursive Streams Defined by Finitary Equational Systems.
ICTCS
Davide Ancona, Pietro Barbieri, Elena Zucca
2021 — conf
Enhanced Regular Corecursion for Data Streams.
ICTCS
Davide Ancona, Pietro Barbieri, Elena Zucca
2021 J jnl
Enhanced Regular Corecursion for Data Streams.
CoRR
Davide Ancona, Pietro Barbieri, Elena Zucca
2020 — conf
An inductive abstract semantics for coFJ.
FTfJP@ECOOP
Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020 A conf
Sound Regular Corecursion in coFJ.
ECOOP
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2020 J jnl
Sound Regular Corecursion in coFJ.
CoRR
Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca
2019 — conf
Corecursive Featherweight Java Revisited.
ICTCS
Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona