9 citations · 40 across the 22 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 3 cited
Well-definedness of Streams by Transformation and Termination
Hans H Zantema
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec…
cs.LO2010★ 9 cited
Stream Productivity by Outermost Termination
Hans Zantema, Matthias Raffelsieper
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. A core property is productivity: unfolding the equa…