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]

@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},
}