Invariant and type inference for matrices

Conference object OPEN
Henzinger, Thomas A; Hottelier, Thibaud; Kovács, Laura; Voronkov, Andrei;

Wepresentalooppropertygenerationmethodforloopsiteratingover multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types), such as upper-triangular, diagonal, etc. To gen- erate loop properties, we first transform a nested... View more
Share - Bookmark

  • Download from
    IST PubRep via IST PubRep (Conference object, 2010)
  • Cite this publication