Sign in
Abstract Interpretation of LLVM with a Region-Based Memory Model.
Arie Gurfinkel
Jorge A. Navas
Published in:
VSTTE (2021)
Keyphrases
</>
high level
management system
databases
query processing