Compiling Path Expressions into VLSI Circuits.

Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra

Browse the full POPL paper archive.