Static Monotonicity Analysis for lambda-definable Functions over Lattices.

Andrzej S. Murawski, Kwangkeun Yi

Browse the full VMCAI paper archive.