3 papers
cs.PL2022
Enhancing expressivity of checked corecursive streams (extended version)
Davide Ancona, Pietro Barbieri, Elena Zucca
We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic cal…
cs.PL2021
Enhanced Regular Corecursion for Data Streams
Davide Ancona, Pietro Barbieri, Elena Zucca
We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions…
cs.PL2020
Sound Regular Corecursion in coFJ
Davide Ancona, Pietro Barbieri, Francesco Dagnino +1
The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures. To this end, we describ…