Louis Rustenholz, Pedro López-García 0001, José F. Morales 0001, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. In Roberto Giacobazzi, Alessandra Gorla, editors, Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings. Volume 14995 of Lecture Notes in Computer Science, pages 352-385, Springer, 2024. [doi]
Abstract is missing.