Set Domains
Abstract elided by the publisher.
Related papers
- Dealing with incomplete knowledge on CLP(FD) variable domains TOPLAS 2005
- Disjointness domains for fine-grained aliasing OOPSLA 2015
- Full abstraction for nominal Scott domains POPL 2013
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992
- On Convergence Toward a Database of Program Transformations TOPLAS 1985
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions ECOOP 2025