A Relational Abstraction for Functions
Abstract elided by the publisher.
Related papers
- Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications ECOOP 1994
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Generic Functional Programming with Types and Relations JFP 1996
- Effectively Propositional Higher-Order Functional Programming OOPSLA 2026
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- Synthesizing iterators from abstraction functions GPCE 2012
- Fully abstract models for effectful λ-calculi via category-theoretic logical relations POPL 2022