Stream Productivity by Outermost Termination

Details Stream Productivity by Outermost Termination Stream Productivity by Outermost Termination

2010-01-25

arxiv.org/abs/1001.4381v1

EPTCS 15, 2010, pp. 83-95

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.15.7

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 equations produces the intended stream in the limit. In this paper we show that productivity is equivalent to termination with respect to the balanced outermost strategy of a TRS obtained by adding an additional rule. For specifications not involving branching symbols balancedness is obtained for free, by which tools for proving outermost termination can be used to prove productivity fully automatically.

Affiliated with

Also associated with

No associations

Rating

Stream Productivity by Outermost Termination 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 Stream Productivity by Outermost Termination, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stream Productivity by Outermost Termination will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-130630