A Formalization for Specifying and Implementing Correct Pull-Stream Modules

Erick Lavoie, Laurie Hendren

Pull-stream is a JavaScript demand-driven functional design pattern based on callback functions that enables the creation and easy composition of independent modules that are used…