2010
DOI: 10.1016/j.tcs.2009.10.014
|View full text |Cite
|
Sign up to set email alerts
|

Productivity of stream definitions

Abstract: We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called 'productive' if it can be evaluated continually in such a way that a uniquely determined stream in constructor normal form is obtained as the limit. Whereas productivity is undecidable for stream definitions in general, we show that it can be decided for 'pure' stream definitions. For every pure stream definition the process of its evaluation can be modelled by the dataflow… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
39
0

Year Published

2011
2011
2017
2017

Publication Types

Select...
5
4
1

Relationship

3
7

Authors

Journals

citations
Cited by 29 publications
(39 citation statements)
references
References 15 publications
0
39
0
Order By: Relevance
“…Productive streams are defined in the literature [20] as terms weakly normalizing to infinite lists, which is in our case equivalent to:…”
Section: Lemma 4 If E Is An Expression Of a Program With An Interprementioning
confidence: 99%
“…Productive streams are defined in the literature [20] as terms weakly normalizing to infinite lists, which is in our case equivalent to:…”
Section: Lemma 4 If E Is An Expression Of a Program With An Interprementioning
confidence: 99%
“…The use of lazy evaluation allows us to do away with the restriction of an 'independent data-layer' required in [11,12,9,54,55], meaning that symbols of inductive sort are disallowed having coinductive arguments. An independent data-layer excludes, e.g., the function head(x : y) → x which takes a coinductive argument (a stream) and returns an element of an inductive sort.…”
Section: Contribution and Outlinementioning
confidence: 99%
“…Such functions were studied (e.g.) in [1,26]. Combining these methods with the method we have described here can be one of the objectives for the future work.…”
Section: Conclusion and Further Workmentioning
confidence: 99%