Strongly bounded termination with applications to security and hardware synthesis.

Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein

Browse the full ICFP paper archive.