Automatic Discovery of Linear Restraints Among Variables of a Program

Patrick Cousot, Nicolas Halbwachs. Automatic Discovery of Linear Restraints Among Variables of a Program. In POPL. pages 84-96, 1978.

Abstract

Abstract is missing.