Productivity of stream definitions

DOI10.1016/J.TCS.2009.10.014zbMATH Open1183.68162OpenAlexW2111944485MaRDI QIDQ846366FDOQ846366

Authors: Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, 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

Recommendations

• Productivity of Stream Definitions
• PROVING PRODUCTIVITY IN INFINITE DATA STRUCTURES
• Type-Based Productivity of Stream Definitions in the Calculus of Constructions
• Data-Oblivious Stream Productivity
• Well-Definedness of Streams by Termination

zbMATH Keywords

productivityfunctional programmingdataflow networksrecursive stream definitions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

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

Cited In (14)

• Complexity of Fractran and Productivity
• Behavioral Rewrite Systems and Behavioral Productivity
• Bialgebras for structural operational semantics: an introduction
• Characterizing polynomial time complexity of stream programs using interpretations
• Productivity of Stream Definitions
• Data-Oblivious Stream Productivity
• Lazy productivity via termination
• Title not available (Why is that?)
• Title not available (Why is that?)
• Applications and extensions of context-sensitive rewriting
• Title not available (Why is that?)
• Highlights in infinitary rewriting and lambda calculus
• Well-definedness of streams by transformation and termination
• On the complexity of stream equality

This page was built for publication: Productivity of stream definitions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q846366)