---
res:
  bibo_abstract:
  - We present ABC, a software tool for automatically computing symbolic upper bounds
    on the number of iterations of nested program loops. The system combines static
    analysis of programs with symbolic summation techniques to derive loop invariant
    relations between program variables. Iteration bounds are obtained from the inferred
    invariants, by replacing variables with bounds on their greatest values. We have
    successfully applied ABC to a large number of examples. The derived symbolic bounds
    express non-trivial polynomial relations over loop variables. We also report on
    results to automatically infer symbolic expressions over harmonic numbers as upper
    bounds on loop iteration counts.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Régis
      foaf_name: Blanc, Régis
      foaf_surname: Blanc
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-2985-7724
  - foaf_Person:
      foaf_givenName: Thibaud
      foaf_name: Hottelier, Thibaud
      foaf_surname: Hottelier
  - foaf_Person:
      foaf_givenName: Laura
      foaf_name: Kovács, Laura
      foaf_surname: Kovács
  bibo_doi: 10.1007/978-3-642-17511-4_7
  bibo_volume: 6355
  dct_date: 2010^xs_gYear
  dct_identifier:
  - UT:000309668000007
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783642175107
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: 'ABC: Algebraic Bound Computation for loops@'
...