Enhancing Regular Corecursion
Published in CINECA IRIS Institutial Research Information System (University of Genoa) • Apr 21, 2023
Authors:
BARBIERI, PIETRO
Abstract
Nowadays, data structures which are conceptually infinite, such as streams or infinite trees, are very common in computer science. When it comes to their manipulation, one major problem to face is how to finitely represent and deal with them without incurring in non-terminating behaviours. Regular c...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!