Structuring Abstract Interpreters Through State and Value Abstractions.

Sandrine Blazy David Bühler Boris Yakobowski

Published in: VMCAI (2017)

Keyphrases

high level
state space
data mining
digital libraries
learning algorithm
computer vision
information systems
multiscale
objective function
search space
case based reasoning
higher level
evaluation function