Software Synthesis from Dataflow Graphs

Shuvra S. Bhattacharyya , Praveen K. Murthy , Edward A. Lee