{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:56:28Z","timestamp":1770278188016,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642119569","type":"print"},{"value":"9783642119576","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11957-6_27","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:55:38Z","timestamp":1268009738000},"page":"507-528","source":"Crossref","is-referenced-by-count":32,"title":["A Universal Calculus for Stream Processing Languages"],"prefix":"10.1007","author":[{"given":"Robert","family":"Soul\u00e9","sequence":"first","affiliation":[]},{"given":"Martin","family":"Hirzel","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Grimm","sequence":"additional","affiliation":[]},{"given":"Bu\u011fra","family":"Gedik","sequence":"additional","affiliation":[]},{"given":"Henrique","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Vibhore","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"Kun-Lung","family":"Wu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: Semantic foundations and query execution. VLDB Journal, 121\u2013142 (2006)","DOI":"10.1007\/s00778-004-0147-z"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Arasu, A., Widom, J.: A denotational semantics for continuous queries over streams and relations. In: SIGMOD Record, pp. 6\u201311 (2004)","DOI":"10.1145\/1031570.1031572"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Buck, I., Foley, T., Horn, D., Sugerman, J., Fatahalian, K., Houston, M., Hanrahan, P.: Brook for GPUs: Stream computing on graphics hardware. In: TOG, pp. 777\u2013786 (2004)","DOI":"10.1145\/1015706.1015800"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Chen, J., DeWitt, D.J., Tian, F., Wang, Y.: NiagaraCQ: A scalable continuous query system for internet databases. In: SIGMOD, pp. 379\u2013390 (2000)","DOI":"10.1145\/342009.335432"},{"key":"27_CR5","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: OSDI, pp. 137\u2013150 (2004)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Drake, M., Hoffmann, H., Rabbah, R., Amarasinghe, S.: MPEG-2 decoding in a stream programming language. In: IPDPS, pp. 86\u201395 (2006)","DOI":"10.1109\/IPDPS.2006.1639343"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Fegaras, L.: Optimizing queries with object updates. In: JIIS, pp. 219\u2013242 (1999)","DOI":"10.1023\/A:1008757010516"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. In: TOPLAS, pp. 319\u2013349 (1987)","DOI":"10.1145\/24039.24041"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Gedik, B., Andrade, H., Wu, K.-L., Yu, P.S., Doo, M.: Spade: The System S declarative stream processing engine. In: SIGMOD, pp. 1123\u20131134 (2008)","DOI":"10.1145\/1376616.1376729"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Ghelli, G., Onose, N., Rose, K., Sim\u00e9on, J.: XML query optimization in the presence of side effects. In: SIGMOD, pp. 339\u2013352 (2008)","DOI":"10.1145\/1376616.1376653"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Leinders, D., den Bussche, J.V.: A theory of stream queries. In: DBLP, pp. 153\u2013168 (2007)","DOI":"10.1007\/978-3-540-75987-4_11"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating sequential processes. In: CACM, pp. 666\u2013677 (1978)","DOI":"10.1145\/359576.359585"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java - a minimal core calculus for Java and GJ. In: TOPLAS, pp. 132\u2013146 (1999)","DOI":"10.1145\/320385.320395"},{"key":"27_CR14","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: IFIP, pp. 471\u2013475 (1974)"},{"key":"27_CR15","unstructured":"L\u00e4mmel, R.: Google\u2019s MapReduce Programming Model \u2013 Revisited. Science of Computer Programming Journal, 208\u2013237 (2007)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. In: Proc. IEEE, pp. 1235\u20131245 (1987)","DOI":"10.1109\/PROC.1987.13876"},{"key":"27_CR17","volume-title":"Semantics with applications: a formal introduction","author":"H.R. Nielson","year":"1992","unstructured":"Nielson, H.R., Nielson, F.: Semantics with applications: a formal introduction. John Wiley & Sons, Inc., Chichester (1992)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Olston, C., Reed, B., Srivastava, U., Kumar, R., Tomkins, A.: Pig Latin: A not-so-foreign language for data processing. In: SIGMOD, pp. 1099\u20131110 (2008)","DOI":"10.1145\/1376616.1376726"},{"key":"27_CR19","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Pike, R., Dorward, S., Griesemer, R., Quinlan, S.: Interpreting the data: Parallel analysis with Sawzall. In: Scientific Programming, pp. 277\u2013298 (2005)","DOI":"10.1155\/2005\/962135"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Rinard, M.C., Diniz, P.C.: Commutativity analysis: a new analysis framework for parallelizing compilers. In: PLDI, pp. 54\u201367 (1996)","DOI":"10.1145\/231379.231390"},{"key":"27_CR22","doi-asserted-by":"crossref","unstructured":"Soul\u00e9, R., Hirzel, M., Grimm, R., Gedik, B., Andrade, H., Kumar, V., Wu, K.-L.: A unified semantics for stream processing languages (extended). Technical Report 2010-924, New York University (2010)","DOI":"10.1007\/978-3-642-11957-6_27"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Stephens, R.: A survey of stream processing. In: Acta Inf., pp. 491\u2013541 (1997)","DOI":"10.1007\/s002360050095"},{"key":"27_CR24","unstructured":"The StreamBase dialect of StreamSQL, http:\/\/streamsql.org\/"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Terry, D., Goldberg, D., Nichols, D., Oki, B.: Continuous queries over append-only databases. In: SIGMOD, pp. 321\u2013330 (1992)","DOI":"10.1145\/130283.130333"},{"key":"27_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","volume-title":"Compiler Construction","author":"W. Thies","year":"2002","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.P.: StreamIt: A language for streaming applications. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 179\u2013196. Springer, Heidelberg (2002)"},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"Thies, W., Karczmarek, M., Gordon, M., Maze, D., Wong, J., Hoffman, H., Brown, M., Amarasinghe, S.: StreamIt: A compiler for streaming applications. In: MIT Laboratory for Computer Science Technical Memo LCS-TM-622 (2001)","DOI":"10.1007\/3-540-45937-5_14"},{"key":"27_CR28","unstructured":"Yu, Y., Isard, M., Fetterly, D., Budiu, M., Erlingsson, \u00da., Gunda, P.K., Currey, J.: DryadLINQ: A system for general-purpose distributed data-parallel computing using a high-level language. In: OSDI, pp. 1\u201314 (2008)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11957-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:45:46Z","timestamp":1606185946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11957-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119569","9783642119576"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11957-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}