The Abstract Domain of Segmented Ranking Functions
No abstract available.
Related papers
- An Abstract Domain to Infer Ordinal-Valued Ranking Functions ESOP 2014
- A parametric segmentation functor for fully automatic and scalable array content analysis POPL 2011
- On inter-procedural analysis of programs with lists and data PLDI 2011
- Longest segment of balanced parentheses: an exercise in program inversion in a segment problem JFP 2021
- Segments: An alternative rainfall problem JFP 2021
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) TACAS 2025
- ATKVerifier: Adaptive Top-K Constraints for Tighter Verification of Semantic Segmentation Networks CAV 2026