Closed-form upper bounds in static cost analysis

  1. Albert, E.
  2. Arenas, P.
  3. Genaim, S.
  4. Puebla, G.
Journal:
Journal of Automated Reasoning

ISSN: 0168-7433 1573-0670

Year of publication: 2011

Volume: 46

Issue: 2

Pages: 161-203

Type: Article

DOI: 10.1007/S10817-010-9174-1 GOOGLE SCHOLAR