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

Takaaki Tateishi Marco Pistoia Omer Tripp

Published in: ISSTA (2011)

Keyphrases

databases
index structure
database
database systems
data structure
data analysis
domain knowledge