Productivity of stream definitions

DOI10.1016/J.TCS.2009.10.014MaRDI QIDQ846366zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

productivityfunctional programmingdataflow networksrecursive stream definitions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

Cites work

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

Cited in

(15)

• On the complexity of stream equality
• scientific article; zbMATH DE number 7168147 (Why is no real title available?)
• Lazy productivity via termination
• A tool proving well-definedness of streams using termination tools
• scientific article; zbMATH DE number 1481753 (Why is no real title available?)
• Characterizing polynomial time complexity of stream programs using interpretations
• Productivity of Stream Definitions
• Highlights in infinitary rewriting and lambda calculus
• Behavioral rewrite systems and behavioral productivity
• Bialgebras for structural operational semantics: an introduction
• Data-Oblivious Stream Productivity
• scientific article; zbMATH DE number 7376040 (Why is no real title available?)
• Well-definedness of streams by transformation and termination
• Applications and extensions of context-sensitive rewriting
• Complexity of Fractran and Productivity

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)