1 code implementation • 9 Aug 2018 • Benno Stein, Lazaro Clapp, Manu Sridharan, Bor-Yuh Evan Chang
Our key insight is that the fluent APIs of stream-processing frameworks enable the tracking of threads via type-refinement, making it possible to reason automatically about what thread a piece of code runs on -- a difficult problem in general.
Software Engineering Programming Languages