Conference proceeding
Effect Systems as Abstract Interpretations
Proceedings of the 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, pp 2-9
02 Oct 2026
Featured in Collection : Drexel's Newest Publications
Abstract
Many forms of static reasoning about program behaviours are known in the literature, yet formal relationships are studied surprisingly infrequently. While most type systems are well-known to be captured by abstract interpretations, the situation for type-and-effect systems is, in the general case, unsettled despite strong hypotheses and occasional framing of effect systems as abstract interpretations.
We develop a formal relationship between abstract interpretations and a general class of effect systems. First, we describe an embedding of effect quantales into abstract domains. Second, we recover the general form of an effect system as an abstract interpretation --- not on states or values, but on event occurrences.
Metrics
1 Record Views
Details
- Title
- Effect Systems as Abstract Interpretations
- Creators
- Colin S. Gordon - Drexel University
- Publication Details
- Proceedings of the 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, pp 2-9
- Conference
- NSAD '26: 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
- Series
- ACM Conferences
- Publisher
- Association for Computing Machinery (ACM)
- Number of pages
- 8
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science
- Other Identifier
- 991022237301604721