Towards Deductive Synthesis of Dataflow Networks

Bengt Jonsson, Zohar Manna, Richard J. Waldinger

Browse the full LICS paper archive.