Static Monotonicity Analysis for lambda-definable Functions over Lattices.

Andrzej S. Murawski Kwangkeun Yi

Published in: VMCAI (2002)

Keyphrases

case study
evolutionary algorithm
information retrieval
search engine
three dimensional
image analysis
mobile robot
statistical analysis