Computing Invariants for Parameter Abstraction.

Yi Lv, Huimin Lin, Hong Pan

Browse the full MEMOCODE paper archive.