2016/10/26 by Dominic Duggan, Jianhua Yao
Computer Science · #cs.PL #cs.DC
paper · pdf · doi:10.4204/eptcs.227.5
published as EPTCS 227, 2016, pp. 63-81 · In Proceedings QAPL'16, arXiv:1610.07696
arxiv created 2016/10/26 · arxiv updated 2016/10/27
Dataflow networks have application in various forms of stream processing, for example for parallel processing of multimedia data. The description of dataflow graphs, including their firing behavior, is typically non-compositional and not amenable to separate compilation. This article considers a dataflow language with a type and effect system that captures the firing behavior of actors. This system allows definitions to abstract over actor firing rates, supporting the definition and safe composition of actor definitions where firing rates are not instantiated until a dataflow graph is launched.