We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
River: an intermediate language for stream processing.
- Authors
Soulé, Robert; Hirzel, Martin; Gedik, Buğra; Grimm, Robert
- Abstract
This paper presents both a calculus for stream processing, named Brooklet, and its realization as an intermediate language, named River. Because River is based on Brooklet, it has a formal semantics that enables reasoning about the correctness of source translations and optimizations. River builds on Brooklet by addressing the real-world details that the calculus elides. We evaluated our system by implementing front-ends for three streaming languages, and three important optimizations, and a back-end for the System S distributed streaming runtime. Overall, we significantly lower the barrier to entry for new stream-processing languages and thus grow the ecosystem of this crucial style of programming. Copyright © 2015 John Wiley & Sons, Ltd.
- Subjects
CALCULUS software; MATHEMATICAL optimization; COMPUTER programming; LANGUAGE &; languages; STREAMING technology; COMPUTER software
- Publication
Software: Practice & Experience, 2016, Vol 46, Issue 7, p891
- ISSN
0038-0644
- Publication type
Article
- DOI
10.1002/spe.2338