A Universal Calculus for Stream Processing Languages
Abstract elided by the publisher.
Related papers
- Compiling Strictness into Streams POPL 1987
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Stream Types PLDI 2024
- Concrete stream calculus: An extended study JFP 2010
- Stochastic Processes as Concurrent Constraint Programs POPL 1999
- The essence of online data processing OOPSLA 2022
- On the Universal and Existential Fragments of the µ-Calculus TACAS 2003
- Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type APLAS 2004