An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.

Louis Rustenholz, Pedro Lpez-Garca, Jos F. Morales, Manuel V. Hermenegildo

Browse the full SAS paper archive.