Type-based Initialization Analysis of a Synchronous Data-flow Language (2004)

by J-L COLAÇO, M POUZET
Venue:in "International Journal on Software Tools for Technology Transfer (STTT