Metric Spaces and Termination Analyses
No abstract available.
Related papers
- Termination analysis without the tears PLDI 2021
- Oriented Metrics for Bottom-Up Enumerative Synthesis POPL 2026
- A semantic account of metric preservation POPL 2017
- Finding refactorings via change metrics OOPSLA 2000
- METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting CGO 2003
- i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants TACAS 2019
- Inductive Program Synthesis Guided by Observational Program Similarity OOPSLA 2023
- METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies TOPLAS 2007