Login / Signup
Path- and index-sensitive string analysis based on monadic second-order logic.
Takaaki Tateishi
Marco Pistoia
Omer 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