Login / Signup
Anti-unification Algorithms and Their Applications in Program Analysis.
Peter E. Bulychev
Egor V. Kostylev
Vladimir A. Zakharov
Published in:
Ershov Memorial Conference (2009)
Keyphrases
</>
orders of magnitude
computational complexity
higher order
learning algorithm
data structure
evolutionary algorithm
optimization problems
theoretical analysis
benchmark datasets
computational cost
worst case
expressive power
constraint satisfaction