Login / Signup

Test-based inference of polynomial loop-bound functions.

Olha ShkaravskaRody KerstenMarko C. J. D. van Eekelen
Published in: PPPJ (2010)
Keyphrases