Skip to main content
Article thumbnail
Location of Repository

Productivity of stream definitions

By J. Endrullis, C.A. Grabmayer, D. Hendriks, A. Isihara and J.W. Klop


We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions.\ud A stream definition is called ‘productive’ if it can be evaluated continually in such a way that a uniquely\ud determined stream in constructor normal form is obtained as the limit. Whereas productivity is undecidable\ud for stream definitions in general, we show that it can be decided for ‘pure’ stream definitions. For every pure\ud stream definition the process of its evaluation can be modelled by the dataflow of abstract stream elements,\ud called ‘pebbles’, in a finite ‘pebbleflow net(work)’. And the production of a pebbleflow net associated with\ud a pure stream definition, that is, the amount of pebbles the net is able to produce at its output port, can\ud be calculated by reducing nets to trivial nets

Topics: Wijsbegeerte, recursive stream definitions, productivity, functional programming, dataflow networks
Year: 2008
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.