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]
@article{ColacoP02, title = {Type-Based Initialisation Analysis of a Synchronous Data-Flow Language}, author = {Jean-Louis Colaço and Marc Pouzet}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/117/53/show/Products/notes/index.htt#008}, tags = {rule-based, data-flow language, analysis, data-flow, data-flow analysis}, researchr = {https://researchr.org/publication/ColacoP02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {65}, number = {5}, pages = {65-78}, }