Login / Signup

Relations as an abstraction for BDD-based program analysis.

Ondrej LhotákLaurie J. Hendren
Published in: ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
  • semantic relations
  • multiscale
  • temporal relations
  • data sets
  • genetic algorithm
  • multimedia
  • optimal solution
  • heuristic search algorithms
  • data abstraction
  • breadth first search
  • set bounds propagation