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