Type-Based Initialisation Analysis of a Synchronous Data-Flow Language

Jean-Louis Colaço, Marc Pouzet. Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. Electronic Notes in Theoretical Computer Science, 65(5):65-78, 2002. [doi]

Abstract

Abstract is missing.