Fast polyhedra abstract domain.

Gagandeep Singh Markus Püschel Martin T. Vechev

Published in: POPL (2017)

Keyphrases

domain specific
special case
domain knowledge
cross domain
domain independent
domain ontology
higher level
relevant concepts
data sets
domain models
knowledge acquisition
low level
similarity measure
high level
website
information systems
artificial intelligence
real world
neural network