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

Roberto Lublinerman, Christian Szegedy, Stavros Tripakis

Browse the full POPL paper archive.