Continuations and transducer composition Export

@inproceedings{Shivers:2006:Continuations, abstract = {On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network protocols, DSP networks and graphics pipelines. We show an interesting use of continuations, that, when taken in a CPS setting, exposes the control flow of these systems. This enables a CPS-based compiler to optimise systems composed of these transducers, using only standard, known analyses and optimisations. Critically, the analysis permits optimisation across the composition of these transducers, allowing efficient construction of systems in a hierarchical way.}, address = {New York, NY, USA}, author = {Shivers, Olin and Might, Matthew}, booktitle = {PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation}, citeulike-article-id = {2601605}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1134016}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1133981.1134016}, doi = {10.1145/1133981.1134016}, isbn = {1595933204}, keywords = {continuation, coroutine, coroutine-fusion, super-beta, transducer-fusion}, pages = {295--307}, posted-at = {2009-06-13 19:04:28}, priority = {0}, publisher = {ACM}, title = {Continuations and transducer composition}, url = {http://dx.doi.org/10.1145/1133981.1134016}, year = {2006} }

TY - CONF ID - Shivers:2006:Continuations L3 - citeulike-article-id:2601605 N2 - On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network protocols, DSP networks and graphics pipelines. We show an interesting use of continuations, that, when taken in a CPS setting, exposes the control flow of these systems. This enables a CPS-based compiler to optimise systems composed of these transducers, using only standard, known analyses and optimisations. Critically, the analysis permits optimisation across the composition of these transducers, allowing efficient construction of systems in a hierarchical way. SN - 1595933204 AD - New York, NY, USA EP - 307 TI - Continuations and transducer composition PB - ACM T2 - PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation SP - 295 KW - continuation KW - coroutine KW - coroutine-fusion KW - super-beta KW - transducer-fusion AU - Shivers, Olin AU - Might, Matthew PY - 2006/// UR - http://dx.doi.org/10.1145/1133981.1134016 ER -