Login / Signup
Decision procedures for path feasibility of string-manipulating programs with complex operations.
Taolue Chen
Matthew Hague
Anthony W. Lin
Philipp Rümmer
Zhilin Wu
Published in:
Proc. ACM Program. Lang. (2019)
Keyphrases
</>
decision procedures
theorem proving
automated reasoning
modal logic
high level
pattern matching
reasoning problems
database
model theoretic
databases
data integration