Productivity of stream definitions

DOI10.1016/J.TCS.2009.10.014zbMath1183.68162OpenAlexW2111944485MaRDI QIDQ846366

Jörg Endrullis, Clemens Grabmayer, Ariya Isihara, Dimitri Hendriks, Jan Willem Klop

Publication date: 9 February 2010

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/33689

zbMATH Keywords

productivityfunctional programmingdataflow networksrecursive stream definitions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (9)

Unnamed Item ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Unnamed Item ⋮ Bialgebras for structural operational semantics: an introduction ⋮ Behavioral Rewrite Systems and Behavioral Productivity ⋮ Lazy productivity via termination ⋮ Applications and extensions of context-sensitive rewriting ⋮ Characterizing polynomial time complexity of stream programs using interpretations ⋮ On the complexity of stream equality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An extensional treatment of dataflow deadlock
• Infinitary lambda calculus
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Transfinite reductions in orthogonal term rewriting systems
• A term calculus for (co-)recursive definitions on streamlike data structures
• Automatic Sequences
• A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
• Productivity of Stream Definitions
• Data-Oblivious Stream Productivity
• Intensional interpretations of functionals of finite type I

This page was built for publication: Productivity of stream definitions