2LS: Heap Analysis and Memory Safety - (Competition Contribution).

Viktor Malík Peter Schrammel Tomás Vojnar

Published in: TACAS (2) (2020)

Keyphrases

data analysis
information systems
data structure
database
databases
machine learning
e learning
multimedia
website
database systems
multiresolution
statistical analysis
quantitative analysis
automatic analysis
computing power