Login / Signup

String Analysis as an Abstract Interpretation.

Se-Won KimKwang-Moo Choe
Published in: VMCAI (2011)
Keyphrases
  • abstract interpretation
  • static analysis
  • pattern matching
  • database systems
  • autonomous agents
  • regular expressions