Continuations and transducer composition

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. Categories and Subject Descriptors D.3.4 [Programming Languages]: Processors—Optimization; D.3.3 [Programming Languages]: Language Constructs and Features—Control structures, coroutines General Terms Languages, performance, design Keywords program analysis, flow analysis, language design, coroutines, fusion, stream processing, functional languag...

• Type: Conference
• Year: 2006
• Where: PLDI
• Authors: Olin Shivers, Matthew Might
• Keywords: Analysis Permits Optimisation, General Terms Languages, PLDI 2006, Programming Languages