Inter-theory dependency analysis for SMT string solvers.

Minh-Thai Trinh Duc-Hiep Chu Joxan Jaffar

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

dependency analysis
modulo theories
satisfiability modulo theories
edit distance
string matching
ontology driven
databases
expert systems
control system
impact analysis