Login / Signup

Domain-independent interprocedural program analysis using block-abstraction memoization.

Dirk BeyerKarlheinz Friedberger
Published in: ESEC/SIGSOFT FSE (2020)
Keyphrases