Login / Signup

Path- and index-sensitive string analysis based on monadic second-order logic.

Takaaki TateishiMarco PistoiaOmer Tripp
Published in: ACM Trans. Softw. Eng. Methodol. (2013)
Keyphrases
  • structured data
  • database
  • objective function
  • lower bound
  • special case
  • domain knowledge
  • dynamic programming
  • object oriented
  • index structure
  • regular expressions