An Abstract Domain to Discover Interval Linear Equalities.

Liqian Chen Antoine Miné Ji Wang Patrick Cousot

Published in: VMCAI (2010)

Keyphrases

domain specific
domain independent
information retrieval
evolutionary algorithm
linear systems
linear inequalities
higher level
domain experts
data sets
neural network
data mining
search engine
linear model
linear complexity
interval data