An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
Louis RustenholzPedro López-GarcíaJosé F. MoralesManuel V. HermenegildoPublished in: CoRR (2024)
Keyphrases
- theoretical framework
- main contribution
- dynamic analysis
- data analysis
- general theory
- probabilistic model
- bayesian networks
- abstract interpretation
- mathematical framework
- static analysis
- conceptual framework
- computational model
- image analysis
- theoretical foundation
- quantitative analysis
- belief networks
- affine invariant
- dynamic environments
- generative model
- inference process
- multiscale
- data mining