Sciweavers

CORR
2008
Springer
77views Education» more  CORR 2008»
13 years 4 months ago
Data-Oblivious Stream Productivity
Abstract. We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidabl...
Jörg Endrullis, Clemens Grabmayer, Dimitri He...