Preprint
Effect Systems as Abstract Interpretations
ArXiv.org
18 Jun 2026
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 quantale 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
- Publication Details
- ArXiv.org
- Resource Type
- Preprint
- Language
- English
- Academic Unit
- Computer Science
- Other Identifier
- 991022192031204721