Termination-checking for LLVM peephole optimizations.

David Menendez Santosh Nagarakatte

Published in: ICSE (2016)

Keyphrases

type checking
case study
database
cooperative
active rules
user interface
multiresolution
multi objective evolutionary
optimization strategies
deductive databases
probability distribution
np hard
multi objective
digital libraries
multi agent systems
data structure
artificial intelligence