A universal calculus for stream processing languages

DOI10.1007/978-3-642-11957-6_27MaRDI QIDQ3558247zbMATH OpenOpenAlexFDO

Authors Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu

Publication date 4 May 2010

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11957-6_27

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2087568
• A survey of stream processing
• scientific article; zbMATH DE number 845929
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Stream fusion, to completeness

Cited in

(4)

• A survey of stream processing
• Regular Programming for Quantitative Properties of Data Streams
• Translation of tree-processing programs into stream-processing programs based on ordered linear type
• scientific article; zbMATH DE number 2087568 (Why is no real title available?)

Describes a project that uses

Uses Software

• StreamIt

This page was built for publication: A universal calculus for stream processing languages

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