University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "algorithm"

DSpace Repository

Browsing LERO - Project partner authors by Subject "algorithm"

Sort by: Order: Results:

  • Janota, Mikolas (2007)
    Many automated techniques for invariant generation are based on the idea that the invariant should show that something “bad” will not happen in the analyzed program. In this article we present an algorithm for loop invariant ...
  • Hamilton, Geoff W.; Kabir, M.H. (2008)
    It has previously been shown by Turchin in the context of supercompilation how metasystem transitions can be used in the proof of universally and existentially quantified conjectures. Positive supercompilation is a ...

Search DSpace


Browse

My Account

Statistics