Login / Signup

Sup-interpretations, a semantic method for static analysis of program resources.

Jean-Yves MarionRomain Péchoux
Published in: ACM Trans. Comput. Log. (2009)
Keyphrases
  • static analysis
  • detection method
  • matching algorithm
  • knowledge base
  • keywords
  • objective function
  • semantic information
  • similarity measure
  • significant improvement
  • source code
  • semantic web
  • symbolic execution