Compositional certified resource bounds.

Quentin Carbonneaux, Jan Hoffmann, Zhong Shao

Browse the full PLDI paper archive.