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

by Jean-Louis Colaço, Marc Pouzet
Venue:Software Tools for Technology Transfer