Data-Oblivious Stream Productivity

Details Data-Oblivious Stream Productivity Data-Oblivious Stream Productivity

2008-06-16

arxiv.org/abs/0806.2680v5

Computer Science

Logic in Computer Science

Scientific paper

We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidable, but for restricted formats computable sufficient conditions can be obtained. The usual analysis disregards the identity of data, thus leading to approaches that we call data-oblivious. We present a method that is provably optimal among all such data-oblivious approaches. This means that in order to improve on the algorithm in this paper one has to proceed in a data-aware fashion.

Affiliated with

Also associated with

No associations

Rating

Data-Oblivious Stream Productivity does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Data-Oblivious Stream Productivity, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Data-Oblivious Stream Productivity will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-407954