Login / Signup

Statically Inferring Complex Heap, Array, and Numeric Invariants.

Bill McCloskeyThomas W. RepsMooly Sagiv
Published in: SAS (2010)
Keyphrases
  • data structure
  • complex data
  • complex systems
  • high level
  • data sets
  • neural network
  • information systems
  • video sequences
  • pattern recognition
  • artificial neural networks
  • higher level
  • affine invariant