Login / Signup

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models.

Paul LokuciejewskiDaniel CordesHeiko FalkPeter Marwedel
Published in: CGO (2009)
Keyphrases
  • abstract interpretation
  • dynamic analysis
  • static analysis
  • information systems
  • feature selection
  • program slicing
  • training set
  • test set