Type-based initialization analysis of a synchronous data-flow language (2004)

by J-L Colaço, M Pouzet
Venue:J. Software Tools for Technology Transfer