3 posts tagged with "abstract interpreters"

A General Fine-Grained Reduction Theory for Effect Handlers (Sieczkowski et al. 2023) presents a theory of effect handlers that can be used for term rewriting systems, and provides a few different abstract machines for effect handlers.

A significant contribution of this paper I believe is that it provides a top down small-step semantics for effect handlers, which is a bit unusual.

Refocusing in Reduction Semantics (Danvy and Nielsen Nov. 2004) presents a way to go from a reduction semantics to an refocused pre-abstract machine, and eventually to an abstract machine. The paper is a good read after being introduced to reduction semantics and abstract machines, and has a few simple walkthroughs of how to actually apply the theory.

Galois Transformers and Modular Abstract Interpreters (Darais et al. 2015) provides a way to do abstract interpretation in general, without having to specify a particular language or analysis. This paper is fairly mathematically dense, so I'll do my best to break down what I understood from it. This paper is also a good starting point if you want to understand Dr. Germane's paper on Full Control-Flow Sensitivity.