TY  - RPRT
TI  - An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
AU  - Louis Rustenholz
AU  - Pedro Lopez-Garcia
AU  - José F. Morales
AU  - Manuel V. Hermenegildo
PY  - 2024
UR  - https://arxiv.org/abs/2406.18260
ID  - 2406.18260
ER  -