Lifting Numeric Relational Domains to Algebraic Data Types.

Santiago Bautista, Thomas P. Jensen, Benot Montagu

Browse the full SAS paper archive.