Utilizing type systems for static vulnerability analysis.

Lavrentii Tsvetkov Anton Spivak

Published in: FRUCT (2016)

Keyphrases

management system
learning systems
machine learning
database
real time
data sets
databases
search engine
search algorithm
preprocessing
software development
intelligent systems
computer systems
knowledge based systems
building blocks
retrieval systems