Login / Signup
Domain-independent interprocedural program analysis using block-abstraction memoization.
Dirk Beyer
Karlheinz Friedberger
Published in:
ESEC/SIGSOFT FSE (2020)
Keyphrases
</>
domain independent
domain specific
domain specific knowledge
planning problems
domain dependent
control knowledge
hand crafted
relational databases
planning domains
hand coded
state space search
natural language interface to databases