Pietro Barbieri

According to our database, Pietro Barbieri authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Checking equivalence of corecursive streams: An inductive procedure.

Davide Ancona, Pietro Barbieri, Elena Zucca

Theor. Comput. Sci., 2024

2023

Checked corecursive streams: Expressivity and completeness.

Davide Ancona, Pietro Barbieri, Elena Zucca

Theor. Comput. Sci., September, 2023

2022

Enhancing expressivity of checked corecursive streams (extended version).

Davide Ancona, Pietro Barbieri, Elena Zucca

CoRR, 2022

Equality of Corecursive Streams Defined by Finitary Equational Systems.

Davide Ancona, Pietro Barbieri, Elena Zucca

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Enhancing Expressivity of Checked Corecursive Streams.

Davide Ancona, Pietro Barbieri, Elena Zucca

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

Enhanced Regular Corecursion for Data Streams.

Davide Ancona, Pietro Barbieri, Elena Zucca

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

An inductive abstract semantics for coFJ.

Pietro Barbieri, Francesco Dagnino, Elena Zucca

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

Sound Regular Corecursion in coFJ.

Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Corecursive Featherweight Java Revisited.

Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019