Modular code generation from synchronous block diagrams: modularity vs. code size.

Roberto Lublinerman Christian Szegedy Stavros Tripakis Modular code generation from synchronous block diagrams: modularity vs. code size. 78-89 2009 POPL http://doi.acm.org/10.1145/1480881.1480893 conf/popl/2009 db/conf/popl/popl2009.html#LublinermanST09