Type-based initialization analysis of a synchronous dataflow language

Jean-Louis Colaço, Marc Pouzet. Type-based initialization analysis of a synchronous dataflow language. STTT, 6(3):245-255, 2004. [doi]

Abstract

Abstract is missing.